Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients.
Anton ChernevHelle Hvid HansenClemens KupkePublished in: CoRR (2024)
Keyphrases
- finite automata
- query language
- cellular automata
- data model
- algebraic operations
- relational algebra
- real time
- algebraic structures
- probabilistic automata
- finite state
- finite state machines
- algebraic expressions
- turing machine
- tree automata
- regular expressions
- database
- object oriented
- database systems
- artificial intelligence
- algebraic geometry
- real world
- neural network
- relation algebra
- distributive lattices