A Kleene Theorem for Infinite Trace Languages.
Paul GastinAntoine PetitWieslaw ZielonkaPublished in: ICALP (1991)
Keyphrases
- regular languages
- regular expressions
- language independent
- propositional logic
- expressive power
- multi lingual
- databases
- description languages
- pattern matching
- language identification
- multilingual information retrieval
- execution traces
- english text
- von neumann
- grammatical inference
- cross lingual
- query language
- decision trees
- artificial intelligence
- information retrieval
- neural network