Компилятор машины Тьюринга
JavaScript проверка программного кода язык машины Тьюринга
Назначение: программа предназначена для автоматической компиляции программы машины Тьюринга. Область применения: проведение занятий по курсам математической логики и теории алгоритмов. Функциональные возможности: компилятор позволяет осуществлять проверку программного кода созданного в терминах одноленточной машины Тьюринга. Компилятор реализован на языке программирования JavaScript, стандартизованном языке гипертекстовой разметки HTML с использованием формального языка CSS. Доступ к программе осуществляется удаленно, по средствам интернет сайта. Функционал сайта позволяет писать программный код на языке машины Тьюринга, формируя подстановки в форме таблицы, проводить отладку программы, менять скорость работы алгоритма, обрабатывать сценарий пошагово, а также обмениваться результатами с использованием электронной почты и социальных сетей.
занятия по курсу "Математическая логика и теория алгоритмов"
Павел
Плотников
Владимирович
доцент
Кандидат физико-математических наук
Отсутствует
А-9431-2017
56673927000
872534
0000-0001-8869-6142
РОССИЯ
Сергей
Брусиловский
Александрович
Проректор по научной работе
РОССИЯ
50.41.23
Программное обеспечение вычислительных сетей
50.41.25
Прикладное программное обеспечение
02.02.ES
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE
02.02.EU
COMMUNICATION
Глеб
Тамбовцев
Ильич
РОССИЯ
Павел
Плотников
Владимирович
РОССИЯ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕЛЕКОММУНИКАЦИЙ ИМ. ПРОФ. М.А. БОНЧ-БРУЕВИЧА"
1027809197635
РУСЛАН
КИРИЧЕК
ВАЛЕНТИНОВИЧ
Организация
Министерство цифрового развития, связи и массовых коммуникаций Российской Федерации
Федеральные государственные бюджетные учреждения
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕЛЕКОММУНИКАЦИЙ ИМ. ПРОФ. М.А. БОНЧ-БРУЕВИЧА"
1027809197635
РУСЛАН
КИРИЧЕК
ВАЛЕНТИНОВИЧ
Организация
Министерство цифрового развития, связи и массовых коммуникаций Российской Федерации
Федеральные государственные бюджетные учреждения