Petri net 1 Petri net language 1 finite automaton 1 formal language 1 producer/consumer problem 1 regular expression 1 regular language 1 star-height 1 висота ітерації (зіркова висота) высота итерации (звездная высота) 1 задача о производителе и потребителе 1 задача про постачальника та споживача 1 конечный автомат 1 мережа Петрі 1 мова мережі Петрі 1 регулярна мова 1 регулярний вираз 1 регулярное выражение 1 регулярный язык 1 сеть Петри 1 скінченний автомат 1 формальна мова 1 формальный язык 1 язык сети Петри 1