Questions tagged [deterministic-finite-automaton]

Filter by
Sorted by
Tagged with
0
votes
0answers
27 views

Finite automatas

I'm practicing regular expressions. Is there any free or open source programs for Ubuntu or Linux Mint that allows to design finite automatas and converts the automata to POSIX-form regular expression?...
0
votes
0answers
13 views

Tools for verification

Suppose I have modeled the behavior of my system by Deterministic Finite Automaton (DFA) A, and I need to check if it satisfies a safety condition. I have created another DFA S, which represents the ...