Преобразователь дискретной информации и пустое слово

182

Аннотация

В статье рассматривается преобразование слов конечной длины конечным автоматом, уделяется особое внимание преобразованию пустых слов.

Общая информация

Ключевые слова: Преобразователь, слово в алфавите, пустое слово, конечный автомат, возмущение

Тип материала: научная статья

Для цитаты: Бокр Й. Преобразователь дискретной информации и пустое слово // Моделирование и анализ данных. 2018. Том 8. № 1. С. 52–59.

Полный текст

В статье рассматривается преобразование слов конечной длины конечным автоматом, уделяется особое внимание преобразованию пустых слов.

1.         ВВЕДЕНИЕ

В статье рассматривается преобразование слов конечной длины конечным автоматом, уделяя особое влияние преобразованию пустых слов.

Как осуществляется восприятие пустого, ненаблюдаемого слова преобразователем и как может преобразователь выдавать пустое слово? Что собой, по сути дела, представляет пустое слово? Можно считать возможным обозначение непосредственно ненаблюдаемых входных слов или неизмеримых возмущений, воздействующих на преобразователь, через символ, зарезервированный для пустого слова? На эти, часто задаваемые вопросы, попытается предлагаемая статья ответить.

2.         ПОНЯТИЕ

Определение 1: Как известно, понятие - это форма мышления, отражающая группу однородных предметов в их существенных признаках. Содержанием понятия называется совокупность существенных признаков предметов, которая мыслится в данном понятии. Совокупность предметов, которые мыслятся в понятии, образует объем понятия [1].

Пустое понятие - это понятие, объем которого соответственно содержит один предмет, пустой. Поскольку имеет силу закон обратного отношения между объемом и содержанием понятия, содержание пустого понятия располагает всеми возможными признаками несуществующего предмета, в их числе и противоречивыми признаками, например, отрицательное натуральное число. Заметим, что т.н. «круглый квадрат» не является пустым понятием.

Определение 2: «Ничто» (c латинского nihil) - это единичное понятие, выражающее отсутствие какого-либо конкретного предмета, т.е. его содержание - это свойство быть недостающим конкретным предметом и объем «ничего» содержит то, что отсутствует, т.е. в объем «ничего» входит пустое множество. Единичное понятие «манипулируемо», т.е. может входить в некоторые операции над понятиями, в отличие от пустого понятия.

«Ничто» не относится к предметам действительности, а является лишь «человеческим» понятием, не обозначающем пустоту, ибо никакое «ничто» не существует.

Понятие выражается в словах и в словосочетаниях.

3.         ПРЕОБРАЗОВАТЕЛЬ ДИСКРЕТНОЙ ИНФОРМАЦИИ

Дискретную информацию, носителем которой является дискретный сигнал, можно считать алфавитной, обозначая значения отдельных уровней (квант) сигнала буквами некоторого алфавита. Число квант дискретного сигнала конечно.

Рассмотрим логический стационарный динамический преобразователь дискретной информации [2,3]. Основным свойством логического динамического преобразователя является наличие дискретного конечного множества состояний и скачкообразного (мгновенного) перехода преобразователя из одного состояния в другое. Разумеется, для любого реального преобразователя длится действительный переход между состояниями ненулевое, конечное время Дт, ибо преобразователь в течение перехода между состояниями находится в ненаблюдаемом промежуточном состоянии. Отождествив промежуточное состояние либо с исходным, либо с конечным состоянием перехода и учитывая, что переходы между соответственно промежуточным и конечным состояниями и также исходным и промежуточным состояниями мгновенные, добьёмся того, что, с одной стороны, реакция преобразователя длится весь переход, и с другой, что промежуточные состояния в таблице переходов служат показателями на достижимое «устойчивое» состояние.

4. СЛОВО В АЛФАВИТЕ

5. КОНЕЧНЫЙ АВТОМАТ

6. НЕНАБЛЮДАЕМЫЕ СЛОВО И ВОЗМУЩЕНИЕ

Поскольку не известна входная предыстория полуавтомата (2), т.е. не известны входные слова, переводившие автомат (2) в его начальное состояние s 0 , и входная предыстория в начальном состоянии существует в накопленном виде, постольку входная предыстория ненаблюдаемая. Таким образом, вполне оправдано обозначить ее через символ s. Аналогично дела обстоят в случае любой входной истории того или иного состояния. Накопленная, «неразборчивая» форма входных предыстории и историй объясняется отсутствием стирания «содержимого» состояний автомата.

Преобразователь и его окрестность вырабатывают массовые, однородные, относительно независимые, случайные возмущения. Случайность воздействия возмущений на преобразователь неустранима и представляет собой неопределенность вида физической неоднозначности. Определение причин случайности не является ни существенным, ни нужным и принципиально не осуществимо. В данном рассмотрении ограничимся неизмеримыми возмущениями.

7.         ЗАКЛЮЧЕНИЕ

Автор надеется, что удалось убедительно показать несостоятельность воздействия пустого слова на автомат и выдачи пустого слова автоматом. Ведь в случае надобности вместо пустого слова имеется слово с пробелом.

Следует отметить опасность толкования сокращений; ведь слово не есть буква и не состоит из букв, а представляет собой произведение слов длиной в один.

Поскольку символ s зарезервирован для ненаблюдаемого пустого слова, постольку может стать опасным обозначать через s хотя неизмеримые, но непустые возмущения.

Литература

  1. Кирилов В.И., Старченко А.А. Логика. – М.: Высшая школа, 1962.
  2. Глушков В.М. Синтез цифровых автоматов. – М.: ГИФМЛ, 1962.
  3. Курдавцев В.Б., Алешин С.В., Подколзин А.С. Введение в теорию автоматов. – М.: Наука, 1985.
  4. Harrison M.A. Introduction to Switching and Automata Theorу - New York - … - Sydney: Mc Graw – Hill Book Co., 1965.
  5. Hopcroft J.E., Ullman J.D. Formálne jazyky a automaty. – Bratislava: Alfa, 1975, перевод с английского Rovan B., Мikulecký P.
  6. Шоломов Л.А. Основы теории дискретных логических и вычислительных устройств. - С.П.,М., Краснодар: изд. Лань, 2011, 3-е изд., ISBN 978-5-8114 – 1197-9
  7. Горбатов В.А. Фундаментальные основы дискретной математики. Инфор-мационная математика. – М.: Наука,1999, ISBN 5-02-015238-2
  8. Иванов В.А., Медведев В.С. Математические основы теории оптимального и логического управления. – М.: изд. МГТУ, 2011, ISBN 978-5-7038-3366-7
  9. Крупский В.И., Плиско В.Е. Математическая логика и теория алгоритмов. – М.: Академия, 2013, ISBN 978-5-7695-9559-2
  10. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1979
  11. Крупский В.Н., Плиско В.Е. Математическая логика и теория алгоритмов. – М.: Академия, 2013, ISBN 978-5-7695-95559-2
  12. Трахтенброт Б.А., Барздинь Г.М. Конечные автоматы (Поведение и синтез) – М.: Наука, 1970.
  13. Калман Р., Фалб М., Арбиб М. Очерки по математической теории систем. – М.: Мир, 1971,. перевод с английского Наппембаума Э.Л.
  14. Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. – М.: ГИФМЛ , 1963.
  15. DŚouza D., Shankar P. Modern Applications of Automata Theory. – New Jersey - … - Chennai: World Scientific Publishing Co., 2012,ISBN – 13-978-981-4271-04-2

Информация об авторах

Бокр Йозеф, Западночешский университет, Пльзень, Чехия, e-mail: bokr@kiv.zcu.cz

Метрики

Просмотров

Всего: 424
В прошлом месяце: 6
В текущем месяце: 13

Скачиваний

Всего: 182
В прошлом месяце: 0
В текущем месяце: 1