Listing 1 - 3 of 3 |
Sort by
|
Choose an application
Diese Einführung umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Alle Beweise werden ausführlich behandelt. Schwierige Beweise werden nicht etwa abgekürzt, sondern eingehender behandelt. Damit bietet dieses Buch zugleich eine Einführung in die Technik des Beweisens und ist somit sowohl für Anfänger als auch Dozenten geeignet. Ein größeres Kapitel behandelt alternative Rechenmodelle, unter anderem Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rödding-Netze, Splicing und reversible Rechnungen.
Computers. --- Mathematical logic. --- Algorithms. --- Computer science—Mathematics. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Mathematics of Computing. --- Mathematical Logic and Foundations. --- Logic, Symbolic and mathematical.
Choose an application
This book demonstrates how the underlying principles of the English-based FrameNet project are successfully applied to the description and analysis of typologically diverse languages. The stimulating collection of articles brings together insights from lexical semantics, corpus linguistics, computational lexicography, machine learning, and psychology to address three main questions: To what degree is it possible to apply semantic frames derived from the English lexicon to the description and analysis of other languages? What types of resources are necessary for the creation of FrameNets for French, German, Hebrew, Japanese, and Spanish? How can the creation of multi-lingual FrameNets be automated? The contents exemplifies the liveliness of current research on cross-lingual applications of Frame Semantics to natural language processing.
Lexicography --- Semantics, Comparative. --- Comparative semantics --- Grammar, Comparative and general --- Computational linguistics --- Data processing. --- Semantics --- Computational Linguistics. --- Corpus Linguistics. --- Lexicography. --- Semantics.
Choose an application
Listing 1 - 3 of 3 |
Sort by
|