Generalized Regular Expressions-A Language for Synthesis of Programs with Braching in Loops.
Alvis BrazmaEfim B. KinberPublished in: Theor. Comput. Sci. (1986)
Keyphrases
- regular expressions
- regular languages
- functional programs
- pattern matching
- finite state machines
- semistructured data
- finite automata
- query language
- monadic second order logic
- natural language
- xml schema
- tree automata
- regular path queries
- programming language
- query evaluation
- deterministic finite automata
- functional language
- logic programs
- data warehouse