Моделирование программных систем. Теоретические основы учебное пособие
Учебное пособие дополняет изданное ранее в качестве основного учебного материала по дисциплине Моделирование программных систем. Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателями. Особое внимание уделяется регулярным грамматикам и конечным автоматам, контек...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | Russian |
| Published: |
Москва
РТУ МИРЭА
2023
|
| Online Access: | ЭБС Лань ЭБС Лань Перейти в каталог НТБ ТГАСУ |
| Summary: | Учебное пособие дополняет изданное ранее в качестве основного учебного материала по дисциплине Моделирование программных систем. Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателями. Особое внимание уделяется регулярным грамматикам и конечным автоматам, контекстно-свободным грамматикам и автоматам с магазинной памятью. Излагаются методы и алгоритмы анализа и синтеза программ в системах программирования. Даются начальные сведения о верификации программ и ее автоматизации. Приводится большое количество примеров и задач с решениями. Материал предназначен для бакалавров 2 курса Института информационных технологий, обучающихся по направлению подготовки 09.03.04 Программная инженерия. Издание также будет полезно для студентов старших курсов, магистров и аспирантов, а также для всех, кто планирует профессиональную карьеру в сфере ИТ технологий. |
|---|---|
| Physical Description: | 170 с. |
| ISBN: | 9785733917986 |