Checking Automata and One-Way Stack Languages (Extended Abstract)
Sheila A. GreibachPublished in: SWAT (1968)
Keyphrases
- extended abstract
- language independent
- formal language theory
- expressive power
- finite state automata
- context free
- type checking
- cellular automata
- probabilistic automata
- tree automata
- regular languages
- inductive inference
- grammatical inference
- cross lingual
- neural network
- text summarization
- finite automata
- finite state
- finite state machines
- multi lingual
- regular expressions
- formal languages
- machine translation
- lattice gas