Статкевич, В.М.
(Системні дослідження та інформаційні технології, 2016)
Рассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество ...