AutomataPractical
