Ю. В. Шорников
Список книг автора Ю. В. ШорниковТеория языков и языковых процессоров. Учебник для вузов
Учебник подготовлен в соответствии с Государственным образовательным стандартом по направлениям «Информатика и вычислительная техника», «Прикладная информатика» для цикла дисциплин информационных специальностей. Основой учебника стал материал, прочитанный автором студентам соответствующих специальностей в Новосибирском государственном техническом университете и Казахстанско-Британском техническом университете в курсах «Теория формальных языков и компиляторов», «Системное программное обеспечение», «Лингвистическое обеспечение». В учебнике рассмотрена теория порождающих грамматик, конечных автоматов и регулярных выражений. Все теоретические механизмы анализа и синтеза языковых конструкций строго формализованы и составляют теоретические основы проектирования языков программирования. Реализация языков программирования представлена разработкой языковых процессоров. Переход от формальных языков к языковым процессорам выполнен через конструктивные методы анализа со строгими моделирующими алгоритмами, которые могут быть реализованы на языках высокого уровня или с помощью современных средств автоматизации программирования. В учебнике рассмотрены средства ANTLR и FLEX & BIZON для автоматизации программирования парсера и лексера. Несмотря на образовательную направленность, учебник может быть полезен всем, кто занимается проектированием и реализацией новых языков, языковых процессоров и конечно автоматных распознавателей.
Теория языков программирования. Проектирование и реализация
Учебное пособие подготовлено в соответствии с Государственным образовательным стандартом по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.03 «Прикладная информатика» для цикла дисциплин информационных специальностей. Основой учебного пособия стал материал, прочитанный автором студентам соответствующих специальностей в Новосибирском государственном техническом университете и Казахстанско-Британском техническом университете в курсах «Теория формальных языков и компиляторов», «Системное программное обеспечение», «Лингвистическое обеспечение». В учебном пособии рассмотрена теория порождающих грамматик, конечных автоматов и регулярных выражений. Все теоретические механизмы анализа и синтеза языковых конструкций строго формализованы и составляют теоретические основы проектирования языков программирования. Реализация языков программирования представлена разработкой языковых процессоров. Переход от формальных языков к языковым процессорам выполнен через конструктивные методы анализа со строгими моделирующими алгоритмами, которые могут быть реализованы на языках высокого уровня или с помощью современных средств автоматизации программирования. В пособии рассмотрены средства ANTLR и FLEX & BIZON для автоматизации программирования парсера и лексера. Несмотря на образовательную направленность, пособие может быть полезно всем, кто занимается проектированием и реализацией новых языков, языковых процессоров и конечно-автоматных распознавателей.
Расчет индукционных датчиков
В монографии рассматриваются вопросы теории индукционных датчиков, применяемых в индукционном контроле для измерения электромагнитных параметров образцов, в том числе полупроводниковых материалов. Впервые теоретически рассмотрено влияние конечных размеров образцов и конечных размеров датчиков, а также влияние одних электродинамических параметров при постановке измерения других. Найдены частотные диапазоны и компоненты импеданса, в которых взаимное влияние электродинамических параметров можно учесть или исключить вовсе; изучено мешающее влияние зазора между датчиком и образцом и найдены способы его подавления с помощью фокусировки поля. Монография будет полезна физикам, инженерам, студентам, специалистам-разработчикам теории и аппаратуры для измерения электродинамических параметров образцов в бесконтактном индукционном контроле.