Decidability of Right One-Way Jumping Finite Automata.

Simon Beier Markus Holzer

Published in: Int. J. Found. Comput. Sci. (2020)

Keyphrases

finite automata
description logics
regular expressions
probabilistic automata
deterministic automata
grammatical inference
tree automata
regular languages
finite automaton
hidden markov models
query answering
pattern matching
expert systems
type checking
artificial intelligence
domain knowledge
natural language