formal languages Kitapları
Bu türde 38 kitap
Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft
An implementation of a system for the formal definition of programming languages
Brian Alfred Hansche
Presumptive meanings
Stephen C. Levinson
Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer Sci
Markus Holzer
Interactive theorem proving and program development
Yves Bertot
Automata, languages, and programming
International Colloquium on Automata, Languages and Programming (10th 1983 Barcelona)
Problem solving in automata, languages, and complexity
Du, Dingzhu.
General context-free recognition and parsing based on viable prefixes
D. Clay Wilson
Anwendung und Bedeutung modelltheoretischer Methoden in der Philosophie
Joachim Buhl
Language and automata theory and applications
LATA 2010 (2010 Trier, Germany)
Teorie języków syntaktycznie kategorialnych
Urszula Wybraniec-Skardowska
Künstliche und natürliche Sprache
Martin Scherb
Advances in algorithms, languages, and complexity
Dingzhu Du
Associons and the closure statement
M. Rem
Grammars with context conditions and their applications
Alexander Meduna
Semigroups, Formal Languages and Groups
J.B. Fountain
Handbook of formal languages
Grzegorz Rozenberg
Formal description techniques, VII
IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland).
An introduction to the theory of formal languages and automata
W. J. M. Levelt
Finiteness and regularity in semigroups and formal languages
A. De Luca