RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      변환계 기술언어 TDL의 표현력과 기술방법 = Power of Expression of the Translator Description Language TDL and Method of Description

      한글로보기

      https://www.riss.kr/link?id=A75009497

      • 0

        상세조회
      • 0

        다운로드
      서지정보 열기
      • 내보내기
      • 내책장담기
      • 공유하기
      • 오류접수

      부가정보

      다국어 초록 (Multilingual Abstract)

      In this paper, the power of expression necessary to describe a translator is considered, and a descriptive language which is restricted in its power of expression is proposed. Next, correctness of a given translator description in this language is sho...

      In this paper, the power of expression necessary to describe a translator is considered, and a descriptive language which is restricted in its power of expression is proposed. Next, correctness of a given translator description in this language is shown.
      A translator from CFL(Contex Free Language) to CFL can be expressed in TG(Transduction Grammar). But TG is too less powerful to express a translator for conventional programming language. Therefore description language TDL(Translator Description Language) is developed by extension of TG. Correctness of a tranlator in TDL is verified almost as easy as in TG.

      더보기

      목차 (Table of Contents)

      • ABSTRACT = 215
      • Ⅰ. 序論 = 215
      • Ⅱ. 變換系記述에 필요한 表現力 = 216
      • 1. 변환계의 變換系記述言語 = 216
      • 2. 변환계의 範圍 = 216
      • ABSTRACT = 215
      • Ⅰ. 序論 = 215
      • Ⅱ. 變換系記述에 필요한 表現力 = 216
      • 1. 변환계의 變換系記述言語 = 216
      • 2. 변환계의 範圍 = 216
      • 3. CFL 上의 變換系 = 216
      • 4. TG = 216
      • 5. TG의 表現 能力 = 217
      • 6. SDT의 正當性의 檢證 = 217
      • Ⅲ. 變換系 記述言語 TDL = 218
      • 1. TG와 TDL = 218
      • 2. TG에 대한 TGL의 擴張機能 = 218
      • 3. TDL의 表現能力 = 219
      • 4. TDL로 기술한 變換系의 正當性 = 220
      • Ⅳ. 變換系 記述例 = 220
      • Ⅴ. 結論 = 221
      • 參考文獻 = 222
      더보기

      분석정보

      View

      상세정보조회

      0

      Usage

      원문다운로드

      0

      대출신청

      0

      복사신청

      0

      EDDS신청

      0

      동일 주제 내 활용도 TOP

      더보기

      주제

      연도별 연구동향

      연도별 활용동향

      연관논문

      연구자 네트워크맵

      공동연구자 (7)

      유사연구자 (20) 활용도상위20명

      이 자료와 함께 이용한 RISS 자료

      나만을 위한 추천자료

      해외이동버튼