Decidability Results on the Existence of Lookahead Delegators for NFA.

Christof Löding Stefan Repke

Published in: FSTTCS (2013)

Keyphrases

query answering
description logics
deterministic finite automata
finite state automata
data sets
real world
decision procedures
regular expressions