Sommario: Questo documento descrive come installare (installazione) e l'uso di software (collegare il software di pianificazione) Lingu traduttore per il linguaggio di programmazione Java. Lingu è una specifica concezione del programma linguaggio di database che può essere verificata. Questo linguaggio è stato sviluppato come parte della ricerca internazionale competitivo integrato (RUTI) Fasilkom UI, vedi grammatica (grammatica) il suo attaccamento
La. . Questo linguaggio è semplice da consentire a un utente di specificare un programma che può quindi essere controllato / verificato la veridicità. Tuttavia, questo linguaggio non può essere compilato per generare un output che può essere utilizzato. Per questo sviluppato Lingu al traduttore Java per ottenere output che può implementare la specifica sono rappresentati in una lingua Lingu. Precedente, MuPL2Java traduttore è stato sviluppato con l'intento di simile. Dai risultati delle ricerche condotte, MuPL ulteriormente sviluppato in Lingu per semplificare gli aspetti di verifica. Sviluppo tecnico MuPL2Java, sviluppato utilizzando JLex e JavaCUP, Lingu traduttore diverso da Java con tecniche di grammatica attributo UUAG. Introduzione In generale, Traduzione è un processo per modificare la forma, cioè da una forma ad un'altra forma. In termini linguistici, traduzione è strettamente legato al processo di trasformazione di un particolare linguaggio in un'altra lingua, Conservando il significato contenuto nella lingua tradotta. Attore in traduzione noi comunemente chiamiamo come traduttore. Traduttore termine può riferirsi a un essere umano o uno strumento di automazione sviluppato da umano.
1 Parte dei progetti Rüti anno II 2003, finanziato dal Ministero della Ricerca e della Tecnologia, Republik Indonesia
La traduzione non è un lavoro banale, ben fatto da umano o aiuti. Per produrre una traduzione dei risultati accurati, norme necessarie sulla procedura per la traduzione da fare. Queste regole riguardano strettamente la lingua da tradurre e la lingua da produrre. Ulteriormente, si farà riferimento sia alla lingua e termini della lingua di partenza e lingua di arrivo. Per ottenere risultati corretti, vi sono aspetti che devono essere considerati. Fondamentalmente, aspetto importante della traduzione consiste di grammatica e la semantica di ogni lingua di partenza e la lingua di destinazione. Determinare le regole grammaticali di una lingua come è scritto o utilizzato, semantica che dà il senso della lingua. In relazione ai linguaggi di programmazione, regole grammaticali definire una rigorosa e rigida su come costruire un linguaggio come. Una lingua non è consentito di avere la sensazione che ambiguo, dove una frase in una lingua particolare può avere solo uno e un solo significato. Pertanto, otteniamo la semantica che sono unici per ogni frase unica. D'altronde, linguaggi di comunicazione come: Inglese, Indonesiano, e così via, una maggiore flessibilità nella grammatica. Anche se abbiamo violato alcune regole della grammatica nella lingua di comunicazione, a volte è possibile capire il significato della frase è. Questo è il motivo per cui la lingua di comunicazione è anche conosciuto come il linguaggio ambiguo, dove la percezione di una frase da una parte all'altra può variare. Così, abbiamo bisogno di capire la grammatica e la semantica di ogni lingua in profondità prima di poter tradurre. Il primo passo per la traduzione è quello di comprendere il significato di ciò che stiamo per tradurre. Questa operazione viene eseguita facendo corrispondere le voci esistenti alla grammatica e la semantica del linguaggio di origine. Quindi il significato di acquisito compilato nella lingua di destinazione dalla grammatica della lingua di destinazione per rappresentare la semantica del corrispondente. Questo passaggio deve essere fatto con attenzione per produrre lo stesso significato tra la lingua di partenza e la lingua di destinazione. Lingu traduttore Lingu per Java è un linguaggio di alto livello che si concentra sulle transazioni di database. Tuttavia, rispetto al linguaggio SQL, Lingu è un linguaggio semplice e un modo diverso di scrivere. Ma, Lingu offre diverse funzionalità che possono essere considerati come una valida alternativa, tra gli altri: 1. Lingu un linguaggio astratto che abilita la logica di Lingu a un livello superiore. 2. Lingu è un linguaggio piccolo e semplice. Con semplicità Lingu, Questo linguaggio è più facile da usare.
3. Lingu ha il supporto per la verifica e la convalida. Questo offre la possibilità di mantenere programmi di conformità creati con funzione definita. 4. Lingu può essere verificata da condizioni di verifica di generazione che può essere dimostrato mediante gli strumenti della teoria prove (teorema di cella). Queste caratteristiche sono date Lingu consentirne l'impiego come base per una specifica di sistema. Con la possibilità di verificare e testare Lingu, l'attuazione del sistema, in particolare la natura critica, capace di validità garantito. Tuttavia, Lingu è un linguaggio che non può essere eseguita. Pertanto, Lingu necessaria trasformazione del linguaggio nella lingua ad un livello astratto che sono concrete, Il programma del computer. Java è presa come opzione per la lingua di destinazione della trasformazione risulta Lingu. L'idea di sviluppo per l'interprete Java Lingu è quello di automatizzare la trasformazione del linguaggio nel linguaggio Java Lingu. Lingu può essere utilizzato per verificare il programma da creare. Usando il Java interprete Lingu, specifiche possono essere prodotti provata vero programma Java. Idealmente, Il programma risultante è non solo focalizzata sul linguaggio Java. Il sistema di messa a fuoco è basato unicamente sulle specifiche elencate Lingu e quindi può essere realizzato in una varietà di linguaggi di programmazione come forma di calcestruzzo come necessario. Lingu a Java traduttore sviluppato utilizzando il sistema come strumento UUAG. UUAG sistema di grammatica attributo è prodotto dall'Università di Utrecht. Il sistema consente lo sviluppo di applicazioni che appartengono al gruppo che include il traduttore compilatore applicazione. Il risultato finale è la realizzazione della domanda nel linguaggio di programmazione Haskell. Lingu per l'interprete Java può essere modificato per produrre altri traduttori di tradurre funzioni Lingu in altri linguaggi di programmazione. Ciò viene fatto semplicemente definendo la semantica di traduzione azione per una nuova lingua di destinazione e quindi essere utilizzato come sostituto per la definizione della semantica dell'azione della vecchia traduzione.
Maggiori informazioni possono essere letti da la fonte originale
