O implementare rudimentară în C++ a unui automat finit nedeterminist cu translații Λ.
Inputul dat in fișierul text input.txt este corespondent următorului automat: Codul în C++ se găsește în main.cpp.
Acesta răspunde următoarelor exemple:
abxyyyxyby - TRUE
bcax - TRUE
bcbxxy - FALSE
abyyxz - FALSE
abyyxyx - TRUE