Architecture for logic programing with arrangements of finite-state machines.
Vladimir Estivill-CastroRené HexelAlberto Ramirez RegaladoPublished in: DCPS (2016)
Keyphrases
- relational databases
- finite state machines
- state machine
- digital circuits
- finite state automata
- relational data
- model checking
- management system
- functional decomposition
- hidden markov models
- reasoning engine
- logic programming
- functional units
- real time
- software architecture
- modal logic
- regular expressions
- knowledge representation
- high level