Characterization of derivation sets of formal systems.
Manfred KudlekPublished in: Automatentheorie und Formale Sprachen (1973)
Keyphrases
- management system
- formal model
- computer systems
- formal methods
- knowledge base
- database systems
- expert systems
- software engineering
- systems require
- mathematical models
- model checking
- learning systems
- building blocks
- knowledge based systems
- distributed systems
- real time
- knowledge representation
- probabilistic model
- multiscale
- search engine
- data sets