Які цілі формальної мови та теорії автоматів?
Студент зможе: розуміти основні властивості формальних мов і граматик. розрізняти звичайні, контекстно-вільні та рекурсивно перелічувані мови. створити граматику для створення рядків із певної мови.
Цілі курсу: Визначте різні класи офіційної мови та їхні зв’язки. Створення граматик і засобів розпізнавання для різних формальних мов. Доведіть або спростуйте теореми з теорії автоматів, використовуючи її властивості. Визначати розв’язність і нерозв’язність обчислювальних задач.
Головною метою теорії автоматів є розробити методи, за допомогою яких спеціалісти з інформатики можуть описувати та аналізувати динамічну поведінку дискретних систем, в якому сигнали періодично дискретизуються.
Формальні мови та теорія автоматів розглядають поняття автоматів, формальних мов, граматики, алгоритмів, обчислюваності, розв’язності та складності. Причини для вивчення формальних мов і теорії автоматів – теорія автоматів забезпечує простий, елегантний погляд на складну машину, яку ми називаємо комп’ютером.
У теорії автоматів, формальна мова – це набір рядків символів, взятих із кінцевого алфавіту. Формальна мова може бути визначена або набором правил (таких як регулярні вирази або контекстно-вільна граматика), які генерують мову, або формальною машиною, яка приймає (розпізнає) мову.
Яке головне завдання мови?
- Вивчити навички LSRW.
- Висловлювати думки.
- Розуміти емоції.
- Передавати знання.