Беззвездный язык - Star-free language

А обычный язык как говорят без звезд если это можно описать регулярное выражение построенный из букв алфавит, то пустой набор символ, все логические операторы - включая дополнение - и конкатенация но нет Клини звезда.^[1] Например, язык слов над алфавитом ${displaystyle {a ,, b}}$ которые не имеют последовательных а могут быть определены как ${displaystyle (emptyset ^ {c} aaemptyset ^ {c}) ^ {c}}$ , куда ${displaystyle X ^ {c}}$ обозначает дополнение к подмножеству ${displaystyle X}$ из ${displaystyle {a ,, b} ^ {*}}$ . Условие эквивалентно наличию обобщенная высота звезды нуль.

Пример обычного языка, который не без звездочек: ${displaystyle {(aa) ^ {n} mid ngeq 0}}$ .^[2]

Марсель-Пауль Шютценбергер характеризовал беззвездные языки как языки с апериодический синтаксические моноиды.^[3]^[4] Их также можно логически охарактеризовать как языки, определяемые в FO [<], логика первого порядка над натуральными числами с отношением меньше,^[5] как языки без счетчиков^[6] и как языки, определяемые в линейная темпоральная логика.^[7]

Все языки без звезд в униформе AC⁰.

Смотрите также

^ Лоусон (2004) стр.235
^ Арто Саломаа (1981). Драгоценности теории формального языка. Computer Science Press. п. 53. ISBN 978-0-914894-69-8.
^ Марсель-Пауль Шютценбергер (1965). «О конечных моноидах, имеющих только тривиальные подгруппы» (PDF). Информация и вычисления. 8 (2): 190–194. Дои:10.1016 / с0019-9958 (65) 90108-7.
^ Лоусон (2004) стр.262
^ Штраубинг, Ховард (1994). Конечные автоматы, формальная логика и сложность схемы. Успехи теоретической информатики. Базель: Биркхойзер. п.79. ISBN 3-7643-3719-2. Zbl 0816.68086.
^ Макнотон, Роберт; Паперт, Сеймур (1971). Автоматы без счетчиков. Монография исследований. 65. С приложением Уильяма Хеннемана. MIT Press. ISBN 0-262-13076-9. Zbl 0232.94024.
^ Камп, Йохан Энтони Виллем (1968). Напряженная логика и теория линейного порядка. Калифорнийский университет в Лос-Анджелесе (UCLA).

Лоусон, Марк В. (2004). Конечные автоматы. Чепмен и Холл / CRC. ISBN 1-58488-255-7. Zbl 1086.68074.
Дикерт, Фолькер; Гастин, Пол (2008). «Определимые языки первого порядка». В Йорге Флуме; Эрих Гредель; Томас Уилке (ред.). Логика и автоматы: история и перспективы (PDF). Издательство Амстердамского университета. ISBN 978-90-5356-576-6.

P ≟ NP

Этот теоретическая информатика –Связанная статья является заглушка. Вы можете помочь Википедии расширяя это.