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