Computer Science / Formal Languages Computer Science / Programming Languages Computer Science / Software Engineering

가이드된 문법 수렴

읽는 시간: 4 분
...

📝 원문 정보

  • Title: Guided Grammar Convergence
  • ArXiv ID: 1503.08476
  • 발행일: 2015-03-31
  • 저자: Vadim Zaytsev

📝 초록 (Abstract)

형식 문법 간의 관계는 언어 동등성(이 알려진 것처럼 결정 불가능하다)과 문법 동일성(이는 단순하다) 사이에 균형을 이루는 어려운 문제이다. 본 논문에서는 이러한 두 극단 사이의 몇 가지 주요 기점을 조사하고 문법 엔지니어링에서 일관성 관리를 위한 방법론을 제안한다. 전통적인 문법 수렴은 언어 전문가들이 변환 단계를 인코딩하는 실용적 접근 방식에 의존하지만, 안내형 문법 수렴은 문법을 정규화하고 그들 사이의 구조적 동등 관계를 확립함으로써 그러한 변환 단계를 자동으로 추론하는 더 좁게 적용되는 기술이다. 이를 통해 11개의 인공 함수 언어(넓은 의미에서의 문법) 사이에 자동으로 양방향 변환을 수행할 수 있는 사례 연구를 진행한다: 다른 조합 라이브러리로 작성된 파서 정의, 확정 절규문법, 구체적 구문 정의, 대수형 데이터 유형, 메타모델, XML 스키마, 객체 모델.

💡 논문 핵심 해설 (Deep Analysis)

This paper focuses on the challenge of maintaining consistency between multiple grammars that define the same software language. The authors propose a methodology called "guided grammar convergence" to automatically infer transformation steps among different grammatical representations, ensuring their equivalence. This technique involves extracting pure syntactic knowledge from various grammar sources, preprocessing through mutations if necessary, normalizing the grammar by removing ambiguities, and establishing structural equivalences between normalized grammars.

The paper demonstrates this method’s effectiveness in a case study involving 11 diverse grammars of an artificial functional language defined using different technologies such as ANTLR, DCG (Definite Clause Grammar), Ecore models, Python parsers, Rascal specifications, SDF, TXL transformational framework, and XML schemas. The results show that the proposed method can successfully align these grammars with minimal human intervention.

The significance of this work lies in its potential to streamline grammar engineering processes, making it easier for developers to manage multiple versions or representations of a language while maintaining consistency across different tools and frameworks.

📄 논문 본문 발췌 (Translation)

# 서론

현대 문법 이론은 일반 목적 프로그래밍 언어에서 더 넓은 범위의 소프트웨어 언어로 주목을 바꾸었다. 이러한 소프트웨어 언어는 프로그래밍 언어, 도메인 특화 언어, 마크업 언어, API 라이브러리, 상호작용 프로토콜 등을 포함한다. 이러한 소프트웨어 언어들은 여전히 기존의 단말기, 비단말기 및 생성 규칙 인프라에 의존하지만, 소프트웨어 시스템에서 발견되는 일반적인 구문적 구조에 대한 약속을 명시한다. 이와 같은 의미에서, 타입 안정적인 프로그램은 특정 타입 시스템에 대해 약속하며, 라이브러리를 사용하는 프로그램은 그 노출된 인터페이스를 사용하기 위해 약속하고, XML 문서는 스키마에 정의된 구조에 약속한다. 이러한 모든 경우에서 약속을 지키지 않으면 언어 엔티티의 해석에서 오류가 발생할 수 있다.

동일한 언어의 여러 구현 중 하나로 알려진 문제는 추상 구문 정의와 구체적 구문 정의 사이의 관계이다. 기본적으로, 추상 구문은 언어에 속하는 엔티티의 종류를 정의하고 의미 지정 사양이 처리해야 하는 내용을 포함한다. 반면, 구체적 구문은 언어 엔티티를 어떻게 작성하고 다시 읽는지 보여준다. 프로그래밍 언어에서 이러한 문제는 일반적으로 여러 가능한 구체적 구문들이 존재하는 것으로 나타난다. 예를 들어, 이진 연산자는 접두사, 중위 또는 후위 표기법을 사용할 수 있다. 실제로, 포스티픽 포스(Forth)의 중위 방언 (Forthwrite, InfixForth)과 중위 REBOL의 접두사 방언 (Boron)이 존재한다.

소프트웨어 언어에서는 이 문제는 더 넓은 범위로 확장된다. 우리는 하나의 목표 언어 사양과 다양한 추상 및 구체적 구문, 데이터 모델, 클래스 사전, 메타모델, 온톨로지와 같은 일치하는 계약들에 대해 이야기할 수 있다.

우리가 정의한 목표 언어는 양방향 변환을 기반으로 하며 특히 Meertens의 표기법을 재정의하여 명확성을 위해 여기에 다시 제시한다:

관계 $`R \subseteq S \times T`$를 가정할 때, **semi-maintainer**는 함수 $`\updr:S \times T \to T`$로 정의되며, $`\forall x\in S, \forall y \in T, \langle x, x \updr y \rangle \in R`$, 그리고 $`\forall x\in S, \forall y \in T, \langle x, y \rangle \in R \Rightarrow x \updr y = y`$.

첫 번째 속성은 정확성을 보장하며, semi-maintainer가 관계를 복원하는 업데이트를 제공한다. 두 번째 속성은 히포크라티즘으로 원래 쌍이 이미 관계에 있으면 업데이트가 효과가 없음을 (해를 끼치지 않음) 명시한다.

문법 $`G`$는 마스터 문법 $`M`$에 의한 언어 **목표**와 일치한다고 할 때, 그들의 언어 인스턴스 사이의 양방향 매핑이 존재한다. ``` math \begin{align*} G \models L(M) \iff\: &\exists R \subseteq L(G) \times L(M)\\ &\exists \updr:L(G)\times L(M) \to L(M)\\ &\exists \updl:L(G)\times L(M) \to L(G) \end{align*} ```

자연스럽게, 모든 문법에 대해 $`G\models L(G)`$가 성립한다.

예를 들어, 프로그래머들이 사용하는 프로그래밍 언어의 구체적 구문 $`G_c`$와 소프트웨어 재공학 도구에서 사용되는 추상 구문 $`M=G_a`$를 고려해보자. 추상 트리를 파싱 트리로부터 생성하고, 재공학 도구에 의해 수행된 변경 사항을 다시 파싱 트리로 전파해야 한다. 이러한 변환들이 가능하다면 (예제 알고리즘이 존재함), $`G_c`$는 $`G_a`$의 목표 언어와 일치한다.

또 다른 예로, 도구에서 외부 데이터베이스(XML 또는 관계형)에 객체를 저장하는 객체 모델을 고려해보자. 데이터베이스의 항목(트리나 테이블)과 메모리 내의 객체 사이에 양방향 매핑이 존재하면, 그것들은 서로 다른 방식으로 표현하더라도 동일한 목표 언어를 나타낸다는 것을 의미한다.

도로맵. 다음 섹션에서는 다음과 같은 언어 간 관계의 주요 기점을 간략히 설명할 것이다: §7. 문법 동일성: 문법 구조적 동등 §14. 명칭 동등성: 이름 기반의 문법 동등성 §13. 구조적 동등성: 이름 무관한 발자국 일치 동등성 §10. 추상 정규화: 정규화된 문법의 구조적 동등성

그 다음, §11에서는 제안된 방법을 요약하고 평가한다.

마지막으로, §12에서는 논문의 맥락과 기여를 정리하여 결론을 내린다.

Reference

이 글은 ArXiv의 공개 자료를 바탕으로 AI가 자동 번역 및 요약한 내용입니다. 저작권은 원저자에게 있으며, 인류 지식 발전에 기여한 연구자분들께 감사드립니다.

검색 시작

검색어를 입력하세요

↑↓
↵
ESC
⌘K 단축키