Penerjemah Lingu 애 자바

초록이 문서는 설치하는 방법을 설명합니다 (설치) 및 소프트웨어의 사용 (소프트웨어 atau 프로그램) Java 프로그램 언어에 lingu 변환기. Lingu 검증 할 수있는 사양 언어 프로그램 설계 데이터베이스입니다. 이 언어는 국제 통합 연구 발전의 일환으로 개발 된 (루티) Fasilkom의 UI, lihat 문법 (문법) 부록에있는 그녀의

A. . 언어는 사용자가 다음 검사 할 수있는 프로그램을 지정 할 수 있도록 간단 / 진실을 확인. 그러나,이 언어를 사용할 수있다 출력을 생성하는 컴파일 할 수 없다. 그 사양을 구현 출력을 얻기 위해 자바 통역자 lingu 순서로 발전에 대한 언어 표현된다 lingu. 이전, MuPL2Java 번역기는 비슷한 목적으로 개발되었다. 실시한 연구의 결과로부터, 더 검증의 단순화 측면에 대한 lingu으로 발전 MuPL. MuPL2Java 개발 기술, JLex에와 JavaCUP를 사용하여 개발, lingu 기술을 사용하는 사람 번역기에서 자바에 다른는 UUAG 문법 속성. 일반적으로 소개, 번역은 모양을 변경하는 과정이다, 즉, 하나의 형태에서 다른 형태로. 언어 적 측면에서, 번역 밀접한 다른 언어로 지정된 언어로 변환하는 과정에 연결된, 번역 된 언어를 포함하여 의미를 유지. 번역 배우 우리가 일반적으로 통역을 참조. 이 용어는 사람에 의해 만들어진 번역기 및 남자 자동화 도구를 참조 할 수 있습니다.

1 프로젝트 루티 II 연도의 일부 2003, 연구 기술부의 지원, 인도네시아의 공화국
번역은 사소한 일이 아니다, 물론 사람이나 도구에 의해 수행. 정확한 번역 결과를 생성하는, 변환 절차에 관한 필요한 규칙 행해질. 이러한 규칙은 밀접하게 번역 될 언어 생성 될 언어에 연결된. 게다가, 우리는 소스 언어와 대상 언어로 두 언어를 참조합니다. 올바른 결과를 얻으려면, 고려 될 필요가있다 양태. 근본적으로, 번역에 중요한 측면은 문법과 소스 언어의 각각의 의미 및 타겟 언어 이루어져. 문법은 언어가 서면 또는 사용 방법에 대한 규칙을 결정, 반면 시맨틱 언어의 의미를 부여. 프로그래밍 언어와 연계, 우리는 언어와 같은 방법을 고안 및 강성에 엄격한 규칙을 정의 문법. 언어는 모호한 의미를 가질 수 없다, 여기서 특히 문장은 오직 하나의 의미를 가질 수있다. Oleh karena itu, 우리는 각각의 고유 한 문장에 고유 한 의미를 얻을. 다른 쪽, 같은 의사 소통의 언어: 영어, 인도네시아의, 등, 문법에 더 많은 유연성을. 우리는 의사 소통의 언어 문법의 특정 규칙을 위반하더라도, 때로는 문장의 의미를 이해하는 것이 가능하다. 이것은 통신 언어도 모호한 언어로 알려진 이유이다, 어디 하나 자와 다른 당사자 사이의 문장의 인식이 다를 수 있습니다. 그래서, 우리가 번역 할 수 있습니다 전에 우리는 깊이 문법과 각 언어의 의미를 이해할 필요가. 번역의 첫 번째 단계는 우리가 번역하고 싶은의 의미를 이해하는 것입니다. 이 단계는 소스 언어의 문법과 기존 항목 시맨틱과 매칭 수행. 그런 의미 의미를 나타 내기 위해 적절한 목표 언어의 문법에 기초하여 목표 언어로 드래프트 얻어진. 이 단계는 소스 언어와 목표 언어와 동일한 의미를 생성하기 위하여 신중하게 이루어져야. 자바 번역기 lingu에 Lingu은 데이터베이스 트랜잭션에 집중 고급 언어 인. 그럼에도 불구하고, SQL 언어에 비해, Lingu 간단 언어와 쓰기의 다른 방법이다. Akan tetapi, Lingu는 매력적인 대안으로 고려 될 수있는 여러 가지 기능을 제공합니다, antara lain: 1. 높은 수준 lingu 로직을 허용 추상 언어 Lingu. 2. Lingu는 작고 간단한 언어. 단순 lingu로, 이 언어는 사용하기 쉽다.

3. Lingu 테스트 및 검증을 지원한다. 이 정의 함수로 작성된 프로그램의 적합성을 유지 할 수있는 옵션을 제공합니다. 4. Lingu는 검증 증거 이론의 도구를 사용하여 검증 할 수있는 조건을 생성하여 검증 될 수있다 (정리의 증명). 이러한 기능은 시스템 사양의 기준으로 사용을 허용 lingu 주어진다. 검증하는 능력 및 테스트와 lingu, 다음, 시스템 구현, 특히 중요한 특성, 보증 유효 할 수. 그럼에도 불구하고, Lingu는 실행할 수없는 언어 인. Oleh karena itu, lingu는 실체이다 추상 언어 레벨 언어의 변환을 필요, 즉, 컴퓨터 프로그램. 자바 언어는이 변환, lingu에 대한 선택의 대상으로한다. 자바 번역기 개발 lingu의 아이디어는 언어 자바 lingu에 언어의 변환을 자동화하는 것입니다. Lingu 작성 될 프로그램을 검증하는 데 사용될 수있다. 자바 lingu에 번역기를 사용하여, 진정한 Java 프로그램을 입증 된 사양을 생성 할 수있다. 이상적으로, 결과 프로그램은 자바 언어 코스에 고정화되지. 초점 시스템 후 lingu 작성된 사양만을 기준과는 요구에 따른 구체적인 형태로서 다양한 프로그래밍 언어로 구현 될 수있다. 자바 번역기 Lingu는 도구로 UUAG 시스템을 사용하여 개발. UUAG 속성 문법은 위트레흐트 대학에 의해 생산하는 시스템이다. 시스템은 프로그램 컴파일러 변환기를 포함 그룹에 속하는 애플리케이션의 개발에 도움. 최종 결과는 프로그래밍 언어 하스켈 애플리케이션의 구현. 자바 Lingu 번역기는 다른 프로그래밍 언어로 번역하는 역할을 lingu 다른 번역을 생산하기 위해 수정할 수 있습니다. 이것은 단순히 새로운 대상에 대해 작용 시맨틱 언어 번역을 정의함으로써 행해진 후 긴 작용 시맨틱 번역의 정의에 대한 대체물로서 사용되는.

에서 읽을 수 있습니다 원본 소스