Chipollino — Formal Languages Converter
GitHub
Help
Login
Sign Up
Error
Input text:
Run
Function
Thompson: ['Regex'] -> NFA
IlieYu: ['Regex'] -> NFA
Antimirov: ['Regex'] -> NFA
Arden: ['NFA'] -> Regex
Glushkov: ['Regex'] -> NFA
MFA: ['BRefRegex'] -> MFA
MFAexpt: ['BRefRegex'] -> MFA
Determinize: ['NFA'] -> DFA
Determinize+: ['NFA'] -> DFA
RemEps: ['NFA'] -> NFA
RemEps: ['MFA'] -> MFA
Linearize: ['Regex'] -> Regex
Minimize: ['NFA'] -> DFA
Minimize+: ['NFA'] -> DFA
Reverse: ['NFA'] -> NFA
Reverse: ['BRefRegex'] -> BRefRegex
Annote: ['NFA'] -> DFA
DeLinearize: ['Regex'] -> Regex
DeLinearize: ['NFA'] -> NFA
AddTrap: ['MFA'] -> MFA
Complement: ['DFA'] -> DFA
Complement: ['MFA'] -> MFA
RemoveTrap: ['DFA'] -> DFA
DeAnnote: ['Regex'] -> Regex
DeAnnote: ['NFA'] -> NFA
MergeBisim: ['NFA'] -> NFA
Disambiguate: ['Regex'] -> Regex
Intersect: ['NFA', 'NFA'] -> NFA
Union: ['NFA', 'NFA'] -> NFA
Difference: ['NFA', 'NFA'] -> NFA
PumpLength: ['Regex'] -> Int
ClassLength: ['NFA'] -> Int
Normalize: ['Regex', 'Array'] -> Regex
States: ['NFA'] -> Int
ClassCard: ['NFA'] -> Int
Ambiguity: ['NFA'] -> AmbiguityValue
MyhillNerode: ['NFA'] -> Int
GlaisterShallit: ['NFA'] -> Int
PrefixGrammar: ['NFA'] -> PrefixGrammar
PGtoNFA: ['PrefixGrammar'] -> NFA
Bisimilar: ['NFA', 'NFA'] -> Boolean
Minimal: ['NFA'] -> OptionalBool
Deterministic: ['NFA'] -> Boolean
Deterministic: ['MFA'] -> Boolean
Subset: ['Regex', 'Regex'] -> Boolean
Subset: ['NFA', 'NFA'] -> Boolean
Equiv: ['Regex', 'Regex'] -> Boolean
Equiv: ['NFA', 'NFA'] -> Boolean
Equal: ['Regex', 'Regex'] -> Boolean
Equal: ['NFA', 'NFA'] -> Boolean
Equal: ['MFA', 'MFA'] -> Boolean
Equal: ['Int', 'Int'] -> Boolean
Equal: ['AmbiguityValue', 'AmbiguityValue'] -> Boolean
Equal: ['Boolean', 'Boolean'] -> Boolean
Equal: ['BRefRegex', 'BRefRegex'] -> Boolean
OneUnambiguity: ['Regex'] -> Boolean
OneUnambiguity: ['NFA'] -> Boolean
SemDet: ['NFA'] -> Boolean
IsAcreg: ['BRefRegex'] -> Boolean
Bisimilar: ['MFA', 'MFA'] -> OptionalBool
ActionBisimilar: ['MFA', 'MFA'] -> Boolean
SymbolicBisimilar: ['MFA', 'MFA'] -> Boolean
MergeBisim: ['MFA'] -> MFA
Action: ['MFA'] -> NFA
Symbolic: ['MFA'] -> NFA
getNFA: ['String'] -> NFA
getMFA: ['String'] -> MFA
getDFA: ['String'] -> DFA
Generate argument
Regex
BackRefRegex
Generate test
Automata list
+
Save
Delete
format:
DSL
DOT
GDF
GEXF
GML
JSON
Reset
Render
Edit
Add Node
Add Edge
Change Finality
