якщо  вони мають однакову множину термінальних

символів

якщо  вони мають однаковий алфавіт

якщо  вони породжують принаймні один однаковий ланцюжок

якщо  вони породжують одну і ту ж мову