Nondeterministic to Deterministic Finite-State Machine Visualization: Implementation and Evaluation.

Marco T. Morazán Tijana Minic

Published in: ITiCSE (1) (2024)

Keyphrases

finite state machines
finite state automata
functional decomposition
state machine
model checking
evaluation method
efficient implementation
finite state
structured data
black box
state transition
cellular automaton
digital circuits