regular-language

2열

1답변

나는 간단한 예/아니오 fsm을 구현하기 위해 Ragel을 사용하려고합니다. 유감스럽게도 언어 사양은 약 1,000 개의 정규 표현식으로 구성되며 대다수에 * 연산자가 한 번 이상 표시됩니다. 따라서 가능한 국가의 수가 폭발하고 내 언어에 대한 fsm을 생성하는 것이 Ragel을 사용하는 것이 불가능 해 보입니다. 거기에 내가 필요로 할 수있는 도구가 있습

3열

1답변

언어를 일반, 문맥 자유 및 구문 구조로 어떻게 분류합니까?

언어가 주어지면 일반 언어인지, 일반 언어인지, 일반 언어인지, 구문 구조인지는 알 수 있지만 CF 언어는 아닌지 어떻게 알 수 있습니까? 이 문제를 공격하기위한 좋은 방법이 있습니까? 나는 무작위로 FA 나 PDA를 만들려고 할 수는 있지만 더 좋은 방법이 있다고 생각합니다. 예 : L = {a^n b^n c^n | n> = 0} 어디에서 시작하나요? 감

3열

1답변

일반 언어가 아닌 텍스트 프로토콜?

텍스트 네트워크 프로토콜과 관련된 문법을 표현하는 일반적인 방법은 ABNF를 사용하는 것입니다. ABNF는 EBNF 관련 메타 구문과 마찬가지로 문맥 자유 문법을 설명 할 수 있습니다. 이러한 문맥없는 문법은 비정규 언어를 나타낼 수 있습니다. 맞습니까? 네트워크 스택을 구현하는 일반적인 방법은 상태 시스템을 개발하는 것입니다. 정규 언어가 아닌 텍스트 네

1열

2답변

L도 보완도 무한한 정규 하위 집합을 갖지 않도록 언어 L을 설계 하시겠습니까?

저는 오토 마타 이론에 관한 수업을 진행하고 있습니다. 그리고 지금 우리는 펌핑 보조 정리를 배우고 있습니다. 우리에게 "L이나 그 보완도 무한한 정규 하위 집합을 갖지 않도록 언어 L을 설계하라"고 요구하는 운동 질문이 있습니다. 그러나 나는 그 질문을 이해하지 못한다. 무한한 정규 하위 집합이란 무엇입니까? 이 요구 사항을 충족시킬 수있는 언어를 어떻게

0열

3답변

공식 언어 : R-trivial은 무엇을 의미합니까?

R-trivial 언어 란 무엇입니까? 나는. 무엇이 정의인가? R-trivial monoid 란 무엇입니까? 컨텍스트 : 형식 언어. Afaik, R - 사소한 언어는 starfree 언어의 하위 집합입니다. 나는 공식적인 언어와 자동 자료 이론에 배경 지식을 가지고 있지만 구문 론적 인 단조로운 특성에 대해서는 그렇지 않다. 어쩌면 그런 언어의 작은 예

6열

3답변

모든 유효한 정규식과 일치하는 regexp를 가질 수 있습니까?

정규 표현식을 사용하여 주어진 문자열이 유효한 정규식인지 여부를 감지 할 수 있습니까? 일부 유효한 문자열 일 수도 있고 그렇지 않을 수도 있습니다. 올바른 정규 표현식에 해당하는 문자열과 일치하는 정규식을 갖고 싶습니다. 그게 가능하니? 아니면 이것을 감지하기 위해 좀 더 높은 수준의 문법 (문맥 자유 언어)을 사용하고 있습니까? Perl 정규 표현식과

3열

1답변

기본적으로 특정 XSD 스키마를 정규식으로 바꿀 수 있는지 여부를 알고 싶습니다. 나는 XML Schema 언어가 유효한 XML 인스턴스 집합이 모든 유형의 언어 (심지어 상황에 민감) 일 수있는 XSD를 생성 할 수 있음을 알고 있습니다. 나는 "정규식"인 스키마를 식별하고 싶다. 다음 문제를 해결 한 후이 질문을 생각해 냈습니다. 특정 텍스트 형식을 구

4열

3답변

Theory of Computation - 언어가 규칙적이라는 표시

나는 Computation Theory에 관한 강의에서 몇 가지 메모를 검토 중이며 다음 진술을 보여주기 위해 약간의 노력을 기울이고 있으며 누군가가 나를 도와 줄 수 있기를 바라고 있습니다. 설명 : A는 정규 언어입니다. 언어 B = {ab | a는 A에 존재하고 b는 A에 존재하지 않습니다.} B가 정규 언어 인 이유는 무엇입니까? 몇 가지 사항은 분

12열

3답변

왜 {a^nb^n | n> = 0} 정규 아닌가요? 내가 거기 복용 해요 CS 과정에서

일반 아닌 그 언어의 예는 다음과 같습니다 {a^nb^n | n >= 0} 내가 어떤 유한 상태 오토 마톤/기계 쓸 수 없습니다 이후 일반 아니라는 것을 이해할 수 유효성을 검사하고 메모리 구성 요소가 없기 때문에이 입력을 허용합니다. (제발 내가 틀렸다면 제발 정정 해주세요) wikipedia entry on Regular Language도이 예제를

0열

3답변

정규 표현식

우선 내가 물어 보는 것에 대한 올바른 번역인지 여부는 알 수 없습니다. 내 수업 중 하나에서 우리는 정규식, 공식 언어 등에 대해 배우는 것을 봤습니다. Alphabet {1,0,S,R} Terminals {1,0} Rules: S ::= 0 S ::= 1 S ::= 1R R ::= 1R R ::= 0R R ::= 1 R ::= 0