The Stack Overflow podcast is back! Listen to an interview with our new CEO.

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 ...
0
votes
0answers
27 views

Java matching (DFA?) library

I'm almost sure that the question is not new and there might be an existing solution which solves it. Unfortunately, was unable to google it. Checking if someone here can reference it :) Suppose we ...