Weighted Automata and Logics Meet Computational Complexity.
Peter KostolányiPublished in: CoRR (2023)
Keyphrases
- computational complexity
- expressive power
- modal logic
- np complete
- inference rules
- finite automata
- high computational complexity
- low complexity
- finite state
- cellular automata
- storage requirements
- regular expressions
- computationally efficient
- order statistics
- computational cost
- weighted sum
- tree automata
- data sets
- weighted graph
- memory requirements
- bit rate
- motion estimation
- np hard
- lower bound
- neural network