Statistics for Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов / Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում / Logical modeling of procedural programming languages and nondeterministic finite automata