formal-languages

    1

    2답변

    정규 표현식을 사용하여 문자열에서 인접하지 않은 텍스트를 캡처하고 싶습니다. 매우 어렵습니다. 나는 다음과 같은 한 를 (그것이 작동되도록 할 수 없습니다) ". 존 KC 메리 V 오렌지" 을 KC 및 V는 태그이며 항상 내 문자열에 존재합니다. 나는이 경우에 "John V oranges"를 포착하고 싶습니다. 그래서 내가 원하는 것은 V까지 예외없이 KC

    1

    1답변

    예 1 forall x,y in set {1,…,5} & X <> y => not m.temps(x) = m.temps(y) 예 2 exists i,j in set inds m.temps & i <> j and m.temps(i) > 400 and m.temps(j) > 400 <> 그 문장에서 무엇을 의미합니까?

    1

    1답변

    가했습니다 새로운 여러 관계를 추가는 다음 선하는 BUS_ID과 BUSROAD 특정의 버스를 받아들이는 작업 Bus_Arrives있어 선은 역에 도착하며 버스 도로가있는 경우 빈 버스 도로가 지정됩니다. 그렇지 않으면 대기열에 들어갑니다. -------- New_Bus_Arrives ----------------------------------- -----

    0

    2답변

    a * b * c *가 규칙적이지 않다고 들었습니다. 동시에, 나는 그것을 생성하기 위해 다음과 같은 규칙적인 문법을 얻었다. 누군가가 명확히 수 S → A A → aA A → B B → bB B → C C → cC C-> empty *이 감사

    1

    2답변

    자바 소스 코드로 변환되는 DSL을 설계하고 있습니다. 컴파일러의 의미/번역을 지정하는 데 일반적으로 사용되는 표기법은 무엇입니까? 예 : DSL : a = b = c = 4 가로 변환 : 미리 Integer temp0 = 4; Integer a = temp0; Integer b = temp0; Integer c = temp0; 감사 제론

    0

    1답변

    그래서이 언어는 L={a^i b^2j+1/i<>j}이고 문맥을 기반으로 문법을 생성해야합니다. 문법을 기반으로 문법을 생성해야합니다. 그 단계를 설명하는 데 나를 도울 수 있습니까? 지금까지 나는이 있습니다 S-->aS/aBbb B-->bB/b/e(empty) 을하지만 난 그게 맞다면, 내가 그것을 이해하는 데 도움이 바랍니다 모르겠습니다.

    -1

    1답변

    예를 들어, Σ = {x, y}라고 말하십시오. 그리고 Σ * -x 연산을 수행했습니다. 결과로 나오는 언어는 무엇입니까? 그것은 본질적으로 y *일까요 아니면 Σ *에서 생성 된 모든 문자열에서 x가 하나만 나오는 것입니까? 즉 xxyyxx에서 xyyxx.

    1

    1답변

    는 는 말의 우리가 그 언어 L.를 받아들이는 NPDA의 두 가지 상태로 전환 그래프를 그리고하자하고 싶은 말은하자가이 NPDA 것 정확히 2 개의 주를가집니다. 이것에 대한 내 생각은 첫 번째 주에서 모든 것을 다한 다음 두 번째 주를 큰 피날레로 사용하는 것입니다. 그래서 같이 : 하지만 람다 전환이 q1가 발생합니다 모르겠어요 또는 가능성이 난에 노력

    0

    2답변

    "유형 및 프로그래밍 언어"책에서 Benjamin C. Pierce는 개념/용어 syntactic form (이미지 참조)을 사용하지만 명시 적 정의는 제공하지 않습니다. 인터넷에서이 용어의 정의를 찾으려고했으나 아무 것도 밝혀지지 않았습니다. 누군가이 용어가 정의 된 참조 (책)를 지적하거나 정의를 제공 할 수 있습니까? 문법에 의해 정의 된 문장은 sy

    3

    1답변

    나는 프로젝트에서 자바로 작업하고있다. (그러나 언어에 의존하지 않는다고 생각한다.) 작은 (4 상태 최대) 비 결정적 유한 상태 오토마타 이진 알파벳에 나는 이전의 것들과 동등한 것을 위해 생성 된 automaton을 빨리 체크해야한다. 따라서 너무 많은 automatas를 사용하지 않으려면 몇 가지 좋은 해시 함수를 사용해야합니다. 첫 번째 생각은 전환