Automata Tutor v3
Home
Register
Login
Example problems:
Description
Problem Type
DFA: ending in "ab"
DFA Construction
Try it!
NFA: contains
NFA Construction
Try it!
FLP
Find Language Partition
Try it!
Hopcroft
Find Language Partition
Try it!
CFG: Many axb
Grammar Words
Try it!
CFG: Many axb
CYK Algorithm
Try it!
CFG: Many axb
Chomsky Normal Form
Try it!
Odd
RE Construction
Try it!
an bn
PDA Construction
Try it!
an bn
PDA Words
Try it!
axb
Grammar Construction
Try it!
0 or 1
RE Words
Try it!
Allstar
Equivalence Classes
Try it!
CFG: Many axb
Find Derivation
Try it!
RE -> epsNFA
RE to NFA
Try it!
Petri Net: Firing Sequence
Find a Firing Sequence
Try it!
Petri Net: Traps / Siphons
Find a Siphon/Trap
Try it!
Petri Net: Invariants
Find an Invariant
Try it!
Petri Net: Backwards Reachability Algorithm
Apply Backwards Reachability Algorithm
Try it!
Petri Net: Coverability Graph
Construct Coverability Graph
Try it!
Petri Net: Modify Petri Net
Modify Petri Net
Try it!
Petri Net: Prove/Disprove Reachability
Decide Reachability
Try it!
Petri Net: Reachability Graph
Construct Reachability Graph
Try it!
ATv3 Privacy statement
frontend: VM14, backend: VM16
Lift
is Copyright 2016 WorldWide Conferencing, LLC. Distributed under an Apache 2.0 License.