formal-languages

Учитывая языки L1={anb2m|n,m≥1} L2={anb3n|n≥0} L = L1 ∩ L2 Я знаю, что L1 является регулярным языком и L2 может быть представлен КПК. Но я не понимаю ответа, который гласит, что L является {a2nb6n|n≥1}. Как было вычислено это решение?...

Рассмотрим следующие регулярные выражения: 7+ (7)+ Согласен ли кто-нибудь, хорошо знакомый с теорией регулярных выражений в математике, что эти два регулярных выражения семантически одинаковы?...

Я только начал изучать формальный язык и теорию автоматов, а недавно узнал о регулярных выражениях, поэтому я не знаю никаких сложных символов, поэтому, пожалуйста, придерживайтесь базовых символов. Вопрос в следующем: напишите регулярное выражение для следующего языка над {0, 1}, которое представляет собой ...

Я пытаюсь ввести и доказать спецификации Z в Isabelle. Скажем, у меня есть спецификация торгового автомата, написанная в формате LaTeX: begin{zed} price:nat end{zed} begin{schema}{VMSTATE} stock, takings: nat end{schema} begin{schema}{VM_operation} Delta VMSTATE \ cash_tendered?, ...

Я пытаюсь понять концепцию уровней языков (обычный, контекстно-свободный, контекстно-зависимый и т. д.). Я могу посмотреть это легко, но все объяснения, которые я нахожу, являются нагрузкой символов и говорят о наборы. У меня есть два вопроса: можете ли вы описать словами, Что такое обычный язык, и как язы...