Форум программистов, компьютерный форум, киберфорум
Теория автоматов
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Другие темы раздела
Теория автоматов Блок-схема по графу сети Петри Помогите составить по данному графу сети Петри блок-схему. Особенно затруднение у меня вызывает крайний правый переход из которого выходят 2 дуги. Наподобие этого примера: https://www.cyberforum.ru/ automata-theory/ thread1753956.html Машина Тьюринга: даны 2 числа, разделенные одним пробелом, напечатать эти числа в порядке убывания Теория автоматов
На ленте даны 2 числа, разделенные одним пробелом, справа через ьодин пробел напечатать эти числа в порядке убывания. С метками.
Теория автоматов Построить дка задающий справа налево число делящееся на 6 3D Homer как то Вы мне помогли решить задачу со взаимно простым числом 6. Сейчас задача немного другая. С чего мне начать? Затрудняет то что справа налево, да еще и дка. https://www.cyberforum.ru/ automata-theory/ thread1753058.html Теория автоматов Задать конечный автомат, преобразующий строку из нулей и единиц Σ=Σ’={0;1}. На входной ленте записана произвольная последовательность из нулей и единиц. После каждой входной комбинации «01» следующие 3 символа заменить на противоположные («1» на «0», а «0» - на «1»), остальные символы вывести на выходную ленту без изменений. (пример: 10010111 -> 10011001) https://www.cyberforum.ru/ automata-theory/ thread1752480.html
Теория автоматов Синтаксические LR распознователи
Здравствуйте Для грамматики: D -> Li:T L -> Li L -> e (e - пустая строка) T -> integer T -> real Построить LR(0) автомат, выявить конфликты, построить распознаватель SLR(1) или LALR(1).
Теория автоматов Машина Тьюринга пожалуйста помогите решить задачу ПОВТОРНОЕ нарушение Правил форума, пункт 5.18. Запрещено размещать задания и решения в виде картинок и других файлов с их текстом. https://www.cyberforum.ru/ automata-theory/ thread1749752.html
Теория автоматов Конечный автомат продающий чай кофе https://www.cyberforum.ru/ automata-theory/ thread1749681.html
и построении автомата необходимо, прежде всего, определить • множество входных сигналов, • множество выходных сигналов, • множество состояний. При этом рекомендуется каждое из состояний закодировать целым числом или символом, так как это будет необходимо для последующей программной реализации. Построить конечный автомат продающий чай кофе горячий шоколад. Автомат сначала принимает...
Теория автоматов конечный автомат, реализация работы простейшего банкомата
При построении автомата необходимо, прежде всего, определить • множество входных сигналов, • множество выходных сигналов, • множество состояний. При этом рекомендуется каждое из состояний закодировать целым числом или символом, так как это будет необходимо для последующей программной реализации. Построить конечный автомат, реализаций работу простейшего банкомата. Банкомат ожидает,...
Теория автоматов Построить машину тьюринга, реализующую алгоритм вычитания двух восьмеричных чисел https://www.cyberforum.ru/ automata-theory/ thread1748839.html
Построить машину тьюринга, реализующую алгоритм вычитания двух восьмеричных чисел (предполагается что первое число больше второго)
Теория автоматов Построить машину Тьюринга https://www.cyberforum.ru/ automata-theory/ thread1748357.html
срочно помогите решить задачки (
Теория автоматов Машина Тьюринга: исправление ошибки в слове «пороллилагромм»
Написать машину Тьюринга, которая исправляет ошибку в слове «пороллилагромм». помогите, пожалуйста!)
Теория автоматов Машина Тьюринга Составить машину тьюринга P=a1, a2, ..., an -> Q=a1, a2,...,an, a1,a2,...,an https://www.cyberforum.ru/ automata-theory/ thread1746816.html
Эксперт по математике/физике
4952 / 3570 / 1151
Регистрация: 01.09.2014
Сообщений: 9,662
04.06.2016, 22:45 0

Доказать примитивную рекурсивность формулы - Теория автоматов - Ответ 9233458

04.06.2016, 22:45. Показов 1897. Ответов 1
Метки (Все метки)

Ответ

Это потому что и log, и квадратный корень примитивно рекурсивны. Кроме того, от корня можно избавиться с помощью равенства https://www.cyberforum.ru/cgi-bin/latex.cgi?\log(x^\alpha)=\alpha\log(x), хотя нужно проверить, как это равенство выглядит для целых чисел. То, что логарифм примитивно рекурсивен, доказывается с помощью ограниченного оператора минимизации.

Вернуться к обсуждению:
Доказать примитивную рекурсивность формулы Теория автоматов
0
Заказать работу у эксперта
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
04.06.2016, 22:45
Готовые ответы и решения:

Доказать примитивную рекурсивность f(x) - количество цифр в числе x
Подскажите, пожалуйста, правильно ли я доказал данную функцию. f(0) = 1 f(x+1) = f(x) +...

Показать примитивную рекурсивность двухместного добавления
Показать примитивную рекурсивность двухместного добавления. Для этого нужно построить схему...

Как доказывать примитивную рекурсивность для функции одной переменной?
Нам на практике объясняли для функций 2-х переменных (например f(x,y)=x^y).А как её доказать для...

Построить схему примитивной рекурсии, показав примитивную рекурсивность двухместного добавления. f(x,y)=x+y
g(x)=x, h(x,y,z)=z+1; f(x,0)=g(x)=x - тождественная функция І с индексом 1 в степени...

1
04.06.2016, 22:45
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
04.06.2016, 22:45
Помогаю со студенческими работами здесь

Доказать формулы
помогите пожалуйста решить 1 и 4 задания :cry: :cry: :cry: Правила форума, пункт 4.4. На каждый...

Доказать примитивную рекурсивность
f(x,y)=x/y Добавлено через 6 минут Ps может так f(0,y)=0/y=0 =O^2(x,y) f(x+1,y)=x/y...

Доказать примитивную рекурсивность функции
помогите пожалуйста)

Доказать примитивную рекурсивность предикатов
Доказать примитивную рекурсивность предикатов: 1. x<y 2. z=ОД(x,y)

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru