A small CLI to get a bisimulation relation between two processes
-
Updated
Apr 14, 2023 - C#
A small CLI to get a bisimulation relation between two processes
Deterministic Finite Automaton Csharp
A little CLI program to convert NFA's to DFA's
Trabalho feito para a terceira prova da disciplina de Linguagens Formais e Autômatos da Universidade Federal do Maranhão (UFMA) semestre 2022.1
A String Parser genterate tokens by setting states and transitions of Deterministic Finite Automata (DFA).
Implementation of scanner & parser of a TINY language compiler
Tool to design and simulate finite state machines
Scanning / Lexical Analysis in .Net Core; ported from https://github.com/mtimmerm/dfalex
FlyWeight Finite Automata Simulator
The GeneticDFA project uses genetic programming to reverse engineer blackbox systems modeled in DFA form.
Lexical Analyser is a Lexer / Tokenizer that determines whether a source code is accepted by a given Deterministic Finite State Automaton or not.
Add a description, image, and links to the dfa topic page so that developers can more easily learn about it.
To associate your repository with the dfa topic, visit your repo's landing page and select "manage topics."