- •Завдання для розрахунково-графічної роботи
- •11) Жодне с не є d. Всі а є d. Всі в є с. Отже, всі в не є а.
- •13) Деякі с не є d. Всі а є не d. Всі в є с. Отже, всі в є а.
- •15) Деякі с не є d. Всі а є d. Всі в є не с. Отже, всі в є а.
- •11)├ , Якщо х не вільна в в.
- •12)├ , Якщо х не вільна в в.
- •22)├ , Якщо х не вільна в в.
- •V. Довести примітивну рекурсивність функцій:
- •VI. Знайти результат застосування машини Тьюрінга з програмою р до
- •VII. Побудувати нормальний алгоритм Маркова для перетворення
VII. Побудувати нормальний алгоритм Маркова для перетворення
слова P в слово Q, якщо у кожній підстановці алгоритму
кількість букв у Pі та Qі не перевищує 3.
-
P=aabcc; Q=aabccdabcdd.
P=bbcab; Q=bbcabccdabcdd.
P=ccaab; Q=ccaabccabcdd.
P=ddaab; Q=ddaabbbabcdd.
P=ccdda; Q=ccdddacdabcdd.
P=abca; Q=abcacdaaad.
P=badb; Q=badbdabcdd.
P=dccaa; Q=dccaabccabcdd.
P=dadab; Q=dadabbabcdd.
P=ccaad; Q=ccaaddacdcdd.
P=aabcc; Q=aabccdabcdd.
P=bcab; Q=bcabccdabcda.
P=dcaab; Q=dcaabccabcdd.
P=dcdaa; Q=dcdaabccabcd.
P=ccda; Q=ccdacdaacdd.
P=abbc; Q=abbccdacad.
P=ddad; Q=dbaddaccdd.
P=caa; Q=caabccabcdd.
P=ddab; Q=ddabbabcdd.
P=ccad; Q=ccaadcacdabcdd.
P=aabbc; Q=aabbccdabcdd.
P=bca; Q=bcacdaccdd.
P=aab; Q=aabccabcdd.
P=ddab; Q=ddabbbacdd.