Checking Automata and One-Way Stack Languages.
Sheila A. GreibachPublished in: J. Comput. Syst. Sci. (1969)
Keyphrases
- regular languages
- finite automata
- expressive power
- formal languages
- cellular automata
- language independent
- context free
- grammatical inference
- formal language theory
- regular expressions
- rational kernels
- multi lingual
- finite state automata
- cross lingual
- probabilistic automata
- finite state machines
- databases
- linear separability
- data sets
- finite state
- query translation
- target language
- neural network
- type checking