Questions tagged [deterministic-finite-automaton]

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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
23 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 ...