В работе рассматривается вопрос формализации сценариев тестирования программ. Для задания сценариев тестирования предлагается использовать левоконтекстные терминальные грамматики. В работе показано, что левоконтекстные терминальные грамматики эквивалентны по порождающей мощности контекстно-свободным. Это позволяет автоматически верифицировать различные свойства сценария. Приводится синтаксическая процедура для построения по заданной левоконтекстной терминальной грамматике соответствующей контекстно-свободной. Вводится понятие контекстно-однозначных грамматик и показывается, что полученная по контекстно-однозначной левоконтекстной терминальной грамматике эквивалентная контекстно-свободная является однозначной.
