|
Repository Universitas Gunadarma >
Published Article >
Published Article Komputer >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/2740
|
| Title: | Measure Prophecy Dan History Untuk Automata Nondeterministik |
| Authors: | Rustam, Zuherman |
| Keywords: | automata spesifilcasi
himpunan state |
| Issue Date: | 23-Aug-2000 |
| Publisher: | Universitas Gunadarma |
| Series/Report no.: | Proceedings, Komputer dan Sistem Intelijen (KOMMrI'2000);14 |
| Abstract: | Pada tulisan ini dibahas tentang metock verifikasi untuk automata nondeterministik dengan menggunakan measure prophecy dan history. Jika diberikan data bush automata Ap dan As yang masing-masing dinamakan automata program dan automata spestfikasi Untuk membuktikan bahwa automata Ap memenuhi automata As, haruslah dibuktikan bahwa setiap word yang diterima oleh
Ap juga merupakan word yang diterima oleh As atau harus dibuktikan bahwa L(Ap) g L(As),
dimana L(A) adalah himpunan word yang diterima oleh automata A. Metode untuk membuktikan
masalah ini dinamakan metode verifikasi. Measure untuk (Ap,As)adalah suatu pemetaan dari himpunan state automata program Ice himpunan state automata spesifilcasi. |
| URI: | http://hdl.handle.net/123456789/2740 |
| ISSN: | 1411-6286 |
| Appears in Collections: | Published Article Komputer
|
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
|
