LogoTver State University Repository

Структура (Q, <) является автоматной

Васылькива, Л.В. (2006) Структура (Q, <) является автоматной. Вестник ТвГУ. Серия: Прикладная математика (1[3]). pp. 42-45. ISSN 1995-0136

[img]
Preview
PDF - Published Version
260kB

Abstract

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

Abstract (en)

It is proposed a codding of the rational numbers. For the codding, there exists a finite automaton such that for given two codes of rational numbers, the automaton checks whether or not the first number is more than the second one.

Item Type:Article
Uncontrolled Keywords:конечный автомат, стек, язык
Keywords (en):finite automaton, stack, language
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики
Divisions:Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:5
Deposited By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:04
Last Modified:08 Jan 2017 08:04

Repository Staff Only: item control page