2015-01-11 4 views
0

L1이 Deterministic context 무료 언어 & L2는 규칙 언어입니다. L1 U L2 결과 DCFL 또는 일반?결정 론적 문맥 자유 언어와 정규 언어 결과의 연합?

문맥을 사용하여 몇 가지 예를 제공하십시오.

+0

힌트 : 간단한 예에'^ NB^C^n' U' x^ny^x^n', 지금은 무엇입니까 ?? –

+0

@GrijeshChauhan 내가 잘못하지 않는 한, 그 언어들도 규칙적이지 않습니다. – templatetypedef

+0

@templatetypedef 네, 맞습니다. 내 의견은 유용하지 않습니다. (질문. –

답변

2

결과로 나오는 언어는 DCFL이어야합니다. 직관적으로 문자열이 DCFL과 정규 언어의 조합에 속하는지 확인하려면 DCFL에 대한 DPDA, 일반 언어에 대한 DFA를 얻은 다음 두 언어를 병렬로 실행하고 허용 여부를 확인합니다. DDA 상태와 DPDA 상태의 각 조합에 대해 하나의 상태로 DPDA를 작성한 다음 시뮬레이트하도록 전환을 구조화하십시오. DPDA와 DFA가 병행하여 진행되었다. 이 작업에는 하나의 스택 만 있으면되므로 잘 작동합니다.

희망이 도움이됩니다.

0

L2 = 시그마 * 및 L1 = A^NB^N L1은 dcfl이고, L2는 regular.but L1 조합이고 L2 = L1은 dcfl 아닌 일반