Scholarlink

The acceptance condition leading to the notion of Büchi automaton – traversing certain states infinitely many times – is a natural extension of the acceptance of finite words by reaching an accepting state at the end of run. It is by no means the only way to make a distinction between accepting and non-accepting infinite runs.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Acceptance Conditions

  • 章节

  • 发表日期：

    2025年

查看全文
  • Martin Hofmann,
  • Martin Lange

摘要

The acceptance condition leading to the notion of Büchi automaton – traversing certain states infinitely many times – is a natural extension of the acceptance of finite words by reaching an accepting state at the end of run. It is by no means the only way to make a distinction between accepting and non-accepting infinite runs.