«regular-expressions» 태그된 질문

Kleene의 원래 정의와 POSIX 정규식의 의미에서 정규식 이론에 대한 질문.

4
최소 정규 표현식을 찾는 것이 NP-complete 문제입니까?
다음과 같은 문제를 생각하고 있습니다. 특정 문자열 집합 (예 : 유효한 전자 메일 주소)과 일치하고 다른 문자열과 일치하지 않는 (잘못된 전자 메일 주소) 정규식을 찾고 싶습니다. 정규식으로 정의 된 유한 상태 기계를 의미한다고 가정하면, 정확한 용어에 익숙하지 않지만 허용되는 표현 클래스에 동의합시다. 수동으로 표현식을 작성하는 대신 긍정적이고 부정적인 예를 제시하고자합니다. …
6
정규 표현식은 그렇지 않습니다
컴퓨터 과학에 대한 경험이있는 사람에게도 정규 표현이 무엇인지 물어 보면 유한 상태 오토 마톤에 도달해야한다는 제약을 넘어 설 가능성이 높습니다. 예를 들어“정규 표현식” /^1?$|^(11+?)\1+$/ 유명한 Perl 성격 자인 Abigail (및 2002 년 이후 Perl의 테스트 스위트의 일부 )은 복합 단항 수만 허용하지만 Peter Linz의 제 3 판 공식 언어 및 …
4
정규식을 효율적으로 일치시킬 수있는“작은”기계가 있습니까?
정규식은 정규식에 비례하는 크기의 비결정론 적 유한 오토 마톤 또는 잠재적으로 기하 급수적으로 큰 결정 론적 FA에 의해 인식 될 수 있다는 것이 잘 알려져있다. 또한 문자열 와 정규식 주어지면 NFA는, DFA는. NFA의 둔화는 본질적으로 우리가 오토 마톤에있을 수있는 가능한 상태 세트를 추적해야한다는 사실과 DFA의 기하 급수적 인 증가는 그 …
1
왜 일반 언어가“일반”이라고합니까?
왜 정규 언어 (및 정규 표현식)가 "정규"라고 불리는가? 문맥이없는 언어에는 다른 유형의 언어에도 규칙 성 이 많이 있습니다. 처음에는 형용사 "정규"가 다른 "비정규"또는 다른 언어와 다른 유형의 언어를 구별하는 데 사용되었다고 가정합니다. 그렇다면 이러한 다른 유형은 무엇이며 비 규칙 성은 무엇입니까?
2
프로토콜 파티션 번호 및 결정적인 통신 복잡성
게다가 (결정적) 통신 복잡도 의 관계에서의 R , 필요한 통신의 양에 대한 또 다른 측정은 염기성 인 프로토콜 파티션 번호 P는 P ( R ) . 이 두 측정 값 사이의 관계는 상수 요소까지 알려져 있습니다. Kushilevitz와 Nisan의 논문 (1997)은c c ( R )기음기음(아르 자형)cc(R)아르 자형아르 자형R p p ( …
1
어떤 정규식
다음과 같은 문제는 PSPACE-complete라는 것이 잘 알려져 있습니다. 정규식 감안 , 수행 ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ※L(β)=Σ∗L(\beta) = \Sigma^* 어떤 다른 (고정) 정규 표현식 동등성을 확인하는 방법에 대한 ?αα\alpha 정규 표현식을 감안할 때 , 수행 ?L ( β ) = L ( α )ββ\betaL …
4
대부분의 REGEX 구현은 어디에서 복잡성 규모에 해당합니까?
perl 또는 .NET과 같은 대부분의 최신 정규식 구현은 lookahead 및 lookbehind와 같은 기능을 가진 REGEX의 고전적인 컴퓨터 과학 정의를 뛰어 넘습니다. 이러한 기능을 통해 푸시 다운이 아닌 유한 오토 마톤으로 설명 할 수없는 문장을 구문 분석 할 수 있습니까? 튜링 완료에 얼마나 근접 할 수 있습니까?
2
JSON은 정규 언어입니까?
JSON 사양이 일반 언어를 정의 했는지 궁금합니다 . 충분히 간단 해 보이지만 직접 증명하는 방법을 모르겠습니다. 내가 묻는 이유는 정규 표현식을 사용하여 JSON을 효과적으로 파싱 할 수 있는지 궁금해하기 때문입니다. 담당자가 충분한 사람이 json 및 일반 언어 태그를 작성해 주시겠습니까?
3
NDFA (nondeterministic finite automata)를 비 지수 공간 / 시간에서 결정적인 finite automata (DFA)로 효율적으로 변환 할 수 있습니까?
20 년 전, 정규 표현식에서 유한 상태 머신 (DFA)으로의 변환을 포함하는 정규 표현식 패키지를 구축했으며, 닫힌 정규 표현식 작업 (클린 스타, 연결, 역, 설정 작업 등)을 지원했습니다. 패키지의 최악의 성능에 대해 확신이 없었습니다. n 상태 NDFA는 2 ^ n 상태의 DFA로 간단하게 변환 될 수 있기 때문에 DFA는 NDFA와 동일한 …
2
유한 세트의 정규 표현식 크기 최소화
언어 사양으로 DFA가 있더라도 정규 표현식의 크기를 최소화하는 것은 PSPACE- 완전한 것으로 알려져 있습니다 . 언어가 유한하면 결과는 무엇입니까? 두 가지 모델에서이 문제를 고려할 수 있습니다. 입력은 언어의 모든 문자열이며 모든 문자열의 길이의 합으로 입력 크기를 측정합니다. 입력은 DFA이며 DFA 상태 수에 따라 입력 크기를 측정합니다. Kleene 별은 유한 경우에 …
3
일반화 된 별 높이 문제가 진행됩니까?
언어의 (일반화 된) 별 높이는 확장 된 정규 표현식으로 언어를 표현하는 데 필요한 Kleene 별의 최소 중첩입니다. 유한 알파벳 대한 확장 정규 표현식 은 다음을 충족합니다.ㅏAA (1) 및 a 는 모든 A에 대한 확장 정규식 입니다.∈∅ , 1∅,1\emptyset, 1ㅏaa∈a∈Aa\in A (2) 모든 확장 정규식 이자형, FE,FE,F ; 이자형∪ FE∪FE\cup F …
4
일반 언어의 계층
알려진 "좋은"계층 있습니까 L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots 일반 언어의 클래스 내부 (유한 수 있음) LLL ? 여기서 각 계층의 클래스는 서로 다른 표현성 / 힘 / 복잡성을 캡처합니다. 또한 각 클래스의 멤버 자격은 문제가 될 수있는 별 높이 문제와 달리 일부 요소에 의해 "멋지게"표시됩니다. 감사합니다!
1
DFA에 대한 동등성 쿼리 비용
이 질문 에서 영감을 얻어 다음에 대해 궁금합니다. 주어진 DFA가 주어진 정규 표현식과 동일한 언어를 허용하는지 확인하는 최악의 경우는 무엇입니까? 이것이 알려져 있습니까? 이 문제가 P에 있기를 바랍니다. 둘 다 크기의 알고리즘 다항식이 있기를 바랍니다.
1
정규 언어 포함의 매개 변수화 된 복잡성
나는 고전적인 문제 정규 언어 포함에 관심이 있습니다. 정규 표현식 주어지면 , 우리는 그와 관련된 정규 언어 를 로 표시합니다. (일반 표현식은 고정 알파벳 에 있으며 조합, Kleene-star 및 연결이 있습니다.)L ( E ) Σ이자형EE패 ( E)L(E)L(E)ΣΣ\Sigma 입력 : 두 정규 표현식 및 질문 : 그것은 사실이다 ?E 2이자형1E1E_1이자형2E2E_2 패 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.