collaborators

1 paper

cs.FL2025

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)

Lukáš Holík, Ondřej Lengál, Juraj Major +2

Complementation of finite automata is a basic operation used in numerous applications. The standard way to complement a nondeterministic finite automaton (NFA) is to transform it i…