A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups.
Jean-Marc ChamparnaudPublished in: STACS (1992)
Keyphrases
- programming language
- regular languages
- regular expressions
- finite automata
- grammatical inference
- context free languages
- decision problems
- object oriented
- general purpose
- positive data
- context free grammars
- high level
- software engineering
- pac learning
- logic programming
- finite state automata
- strongly typed
- finite state machines
- inductive inference
- pattern matching
- xml schema
- context free
- functional programming
- positive and negative
- query language
- hidden markov models
- expert systems
- reinforcement learning
- functional language
- database systems