Студопедия

Главная страница Случайная страница

Разделы сайта

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






  • Сервис онлайн-записи на собственном Telegram-боте
    Тот, кто работает в сфере услуг, знает — без ведения записи клиентов никуда. Мало того, что нужно видеть свое расписание, но и напоминать клиентам о визитах тоже. Нашли самый бюджетный и оптимальный вариант: сервис VisitTime.
    Для новых пользователей первый месяц бесплатно.
    Чат-бот для мастеров и специалистов, который упрощает ведение записей:
    Сам записывает клиентов и напоминает им о визите;
    Персонализирует скидки, чаевые, кэшбэк и предоплаты;
    Увеличивает доходимость и помогает больше зарабатывать;
    Начать пользоваться сервисом
  • Диаграммы переходов






    Пусть Â = (A, B, Q, j, y) - это автомат и
    A = { a 1,..., a m }, Q = { q 1,..., qr }.

    Изобразим состояния Â с помощью системы из r непересекающихся кругов на плоскости, которые помечены символами этих состояний. Из каждого круга, изображающего состояние, проведем m ориентированных дуг, каждая из которых помечена одним из символов входного алфавита.

    Дуге, выходящей из состояния q j, помеченной входным символом a i, припишем также выходной символ y(a i, q j), заключив его в скобки.

    Проведем эту дугу в состояние j(a i, q j).

    Соответствующий фрагмент изображения автомата имеет вид, приведенный на рис. 7.1.

    q j qk

    a i (y(a i, q j))

    Рис. 7.1

    Здесь qk = j(a i, q j).

    Построенное по заданным правилам представление автомата называется диаграммой переходов.

    Диаграммы переходов полностью определяют представляемые ими автоматы.

    Множества A и B определяются символами, приписанными дугам без скобок и в скобках соответственно.

    (Без ограничения общности можно считать, что каждый символ выходного алфавита принадлежит области значений функции выхода y и поэтому присутствует на диаграмме переходов.)

    Множество всех состояний автомата Â задается помеченными кругами.

    Отображения j и y полностью представлены в диаграмме. При этом значение j(a i, q j) равно состоянию, в которое ведет дуга диаграммы, выходящая из состояния q j и помеченная входным символом a i.

    Значение y(a i, q j) равно символу выходного алфавита, который приписан в скобках для той же дуги.

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

    Если в некоторый момент времени t автомат Â находится в состоянии q j и на его вход поступает символ a i, то функционирование этого автомата можно представить с помощью перемещения по диаграмме из состояния q j по дуге, помеченной входным символом a i.

    При этом выбранная дуга ведет в состояние, в котором Â будет находиться в момент времени t + 1. Символ на выходе автомата в момент t приписан этой же дуге в скобках.

    Поэтому функционирование автомата Â в последовательные моменты t 0, t 0+ 1,..., t 0+ i,... можно промоделировать с помощью прохождения соответствующего пути в диаграмме переходов.

    Упражнение. Покажите, что диаграмма переходов всякого автомата имеет элементарные циклы ненулевой длины.

     






    © 2023 :: MyLektsii.ru :: Мои Лекции
    Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
    Копирование текстов разрешено только с указанием индексируемой ссылки на источник.