Formal Semantics and Abstract Properties of String Pattern Operations and Extended Formal Language Description Mechanisms
- 1 February 1983
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 12 (1) , 166-188
- https://doi.org/10.1137/0212011
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- On equations for regular languages, finite automata, and sequential networksTheoretical Computer Science, 1980
- On the succinctness of different representations of languagesPublished by Springer Nature ,1979
- Phrase structures, non-determinism and backtrackingInformation Processing Letters, 1978
- A theory of discrete patterns and their implementation in SNOBOL4Communications of the ACM, 1973
- Towards a theory of data structuresJournal of Computer and System Sciences, 1971
- A Two-Way Automaton with Fewer States than Any Equivalent One-Way AutomatonIEEE Transactions on Computers, 1971
- Time and tape complexity of pushdown automaton languagesInformation and Control, 1968
- Nondeterministic AlgorithmsJournal of the ACM, 1967
- Two-way pushdown automataInformation and Control, 1967
- The Algebraic Theory of Context-Free LanguagesPublished by Elsevier ,1963