Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Интерпретация алгебры логики в теории конечных автоматов.

Соответствие. | Отношение. | Высказывания. | Свойства логических операций. | Логические формулы. | Функции алгебры логики (ФАЛ). | Способы вычисления ФАЛ. | Проблема разрешения. | Аналитические способы представления ФАЛ. | Интерпретация алгебры логики в исчисление высказываний. |


Читайте также:
  1. III. От теории эволюции видов до битвы народов
  2. VI. К ОБЩЕЙ ТЕОРИИ КРИЗИСА ИМПЕРИИ
  3. Анализ и интерпретация экспериментальных данных
  4. Априорные основания эйнштейновской общей теории относительности
  5. В стандартной концепции полагалось, что факты являются эмпирическим базисом, который независим от теорий и может выносить объективный приговор теории.
  6. Вклад ученых-исследователей теории журналистики Н.Омашева, М. Барманкулова в разработку теории Казахстанской телерадиожурналистики
  7. Влияющие на максимизацию полезности. Два основных направления в теории потребительского поведения.

Автоматы: Устройства для дискретной переработки информации (фактически – для переработки чисел)

Конечные автоматы – устройства, использующие конечные алфавиты – это есть универсальные ЦВМ.

 

Рассмотрим 2 задачи:

1. задача синтеза конечного автомата.

2. задача анализа конечного автомата.

 

1. Задача синтеза конечного автомата заключается в построении функциональной схемы конечного автомата по его исходному математическому описанию, которое задается на языке ФАЛ. Говорят, что автомат моделирует исходную логическую функцию (отрабатывает).

Примеры синтеза конечных автоматов.

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

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

{, &, ν, →, ~}.

Рисуют черный ящик, т.е. не знают что находится в черном ящике.

 

 
1)

       
 
   
 


Р

р → (р) → р – инверсия.

 

2)

&
Р1 φ(Р12)=Р12

Р2

логический оператор моделирует логическую функцию: на входе 2 переменных, на выходе постоянное логическое произведение.

 

3)

Р1 φ(Р12)=Р1→Р2

Р2

на первом входе должно быть р1, а на 2 входе р2, если наоборот, то на выходе р2 → р1.

4)

~
Р1 φ(Р12)= (Р1 ~ Р2)

Р2

для синтеза соответственной функциональной схемы достаточно рассмотреть список операций исходной ФАЛ.

Задача минимизации конечного автомата сводится к минимизации исходной ФАЛ.

Задача синтеза конечного автомата с минимальным количеством переменных.

 

2. Задача анализа заключается в построении математического описания по функциональной схеме.

Конечный автомат (КА): [(p1 & p2) ~ p3] → p3

 

φ (р1, … р5) = {[(р1&p2) ~ p3] → p3} & [p3 ~ (p4 V p5)]

При анализе КА также решить задачу минимизации, является ли полученная конечная логическая функция минимальной, если да, то считается, что схема имеет минимальное число логических операторов.

 

 


Дата добавления: 2015-09-01; просмотров: 53 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Интерпретация алгебры логики в теории множеств.| Анализ простейших рассуждений.

mybiblioteka.su - 2015-2024 год. (0.007 сек.)