Анотация

---

Учебният материал разглежда формални средства, методи и алгоритми за моделиране на поведението на дискретни системи. Обясняват се теоретични постановки и практически примери, които дават на студентите подходяща основа за представяне на дискретни обекти в областта на програмното осигуряване. В програмата са застъпени различни средства за разпознаване на формални езици като крайни автомати, мрежи на Петри, машина на Тюринг. По време на семинарните упражнения се решават базови задачи, които демонстрират изложените концепции.

Съдържание

---

• Множества и операции с множества
• Множества от символни низове
• Регулярни множества и изрази. Изчисления с регулярни изрази
• Формални езици и граматики
• Разпознаване на езици чрез крайни автомати
• Разпознаване на езици чрез мрежи на Петри
• Машини на Тюринг