www.wikidata.id-id.nina.az

Bahasa formal Pada matematika ilmu komputer dan linguistik suatu bahasa formal terdiri dari kata kata yang mana simbol d

Bahasa formal

Pada matematika, ilmu komputer dan linguistik, suatu bahasa formal terdiri dari kata-kata yang mana simbol diambil dari alfabet dan bentukan-selaras berdasarkan seperangkat kaidah tertentu.

Alfabet akan bahasa formal terdiri dari simbol, huruf atau token yang bergabung menjadi string akan bahasa. Tiap string yang digabungkan dari simbol-simbol akan alfabet disebut sebuah kata. Sebuah bahasa formal sering didefinisikan melalui tata bahasa formal seperti tata bahasa reguler atau tata bahasa bebas konteks yang terdiri dari kaidah pembentukan.

Pada ilmu komputer, bahasa formal digunakan antara lain sebagai dasar untuk menggambarkan tata bahasa akan bahasa pemrograman dan versi formal akan himpunan bagian dari bahasa alami yang mana kata-kata akan bahasa mewakili konsep yang diasosiasikan dengan semantik atau makna tertentu.

Sejarah

Bahasa formal pertama diperkirakan digunakan oleh Gottlob Frege dalam buku Begriffsschrift (1879) yang mana Frege menyatakan sebagai sebuah "bahasa formal dari pemikiran murni."

Definisi

Suatu bahasa formal L atas sebuah alfabet Σ ialah himpunan bagian akan Σ*, yaitu sekumpulan kata-kata atas alfabet.

Contoh

Terdapat kaidah yang menggambarkan suatu bahasa formal L atas alfabet Σ = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, +, =}:

  • Setiap string berisi yang tidak mengandung "+" atau "=" dan tidak dimulai dengan "0" ialah L.
  • String "0" ialah L.
  • Suatu string berisi "=" adalah L hanya jika terdapat satu "=" memisahkan dua string valid akan L.
  • Suatu string berisi "+" tetapi bukan "=" ialah L jika setiap "+" dalam string memisahkan dua string yang valid akan L.
  • Tidak ada string dalam L selain yang tersirat oleh aturan yang ada.

Berdasar aturan tersebut, string "23+4=555" ialah L, tetapi string "=234=+" ialah bukan. Bahasa formal ini mengungkapkan bilangan asli, tetapi hanya mengungkapkan seperti apa yang terlihat (sintaksis), bukan berdasarkan makna (semantik). Sebagai contoh, tidak terdapat pada kaidah ini indikasi bahwa "0" berarti angka nol, "+" berarti penjumlahan, "23+4=555" ialah tidak benar, dsb.

Referensi

Kutipan

  1. Reghizzi, Stefano Crespi (2009), Formal Languages and Compilation, Texts in Computer Science, Springer, hlm. 8, ISBN 9781848820500, Suatu alfabet ialah himpunan terbatas .
  2. Martin Davis (1995). "Influences of Mathematical Logic on Computer Science". Dalam Rolf Herken. The universal Turing machine: a half-century survey. Springer. hlm. 290. ISBN 978-3-211-82637-9. 

Sumber

  • John E. Hopcroft dan Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN 81-7808-347-7.

Pranala luar

wikipedia, wiki, buku, buku, perpustakaan, artikel, baca, unduh, gratis, unduh gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, gambar, musik, lagu, film, buku, permainan, permainan.
Tanggal penerbitan:
Pada matematika ilmu komputer dan linguistik suatu bahasa formal terdiri dari kata kata yang mana simbol diambil dari alfabet dan bentukan selaras berdasarkan seperangkat kaidah tertentu Alfabet akan bahasa formal terdiri dari simbol huruf atau token yang bergabung menjadi string akan bahasa 1 Tiap string yang digabungkan dari simbol simbol akan alfabet disebut sebuah kata Sebuah bahasa formal sering didefinisikan melalui tata bahasa formal seperti tata bahasa reguler atau tata bahasa bebas konteks yang terdiri dari kaidah pembentukan Pada ilmu komputer bahasa formal digunakan antara lain sebagai dasar untuk menggambarkan tata bahasa akan bahasa pemrograman dan versi formal akan himpunan bagian dari bahasa alami yang mana kata kata akan bahasa mewakili konsep yang diasosiasikan dengan semantik atau makna tertentu Daftar isi 1 Sejarah 2 Definisi 3 Contoh 4 Referensi 4 1 Kutipan 4 2 Sumber 5 Pranala luarSejarah SuntingBahasa formal pertama diperkirakan digunakan oleh Gottlob Frege dalam buku Begriffsschrift 1879 yang mana Frege menyatakan sebagai sebuah bahasa formal dari pemikiran murni 2 Definisi SuntingSuatu bahasa formal L atas sebuah alfabet S ialah himpunan bagian akan S yaitu sekumpulan kata kata atas alfabet Contoh SuntingTerdapat kaidah yang menggambarkan suatu bahasa formal L atas alfabet S 0 1 2 3 4 5 6 7 8 9 Setiap string berisi yang tidak mengandung atau dan tidak dimulai dengan 0 ialah L String 0 ialah L Suatu string berisi adalah L hanya jika terdapat satu memisahkan dua string valid akan L Suatu string berisi tetapi bukan ialah L jika setiap dalam string memisahkan dua string yang valid akan L Tidak ada string dalam L selain yang tersirat oleh aturan yang ada Berdasar aturan tersebut string 23 4 555 ialah L tetapi string 234 ialah bukan Bahasa formal ini mengungkapkan bilangan asli tetapi hanya mengungkapkan seperti apa yang terlihat sintaksis bukan berdasarkan makna semantik Sebagai contoh tidak terdapat pada kaidah ini indikasi bahwa 0 berarti angka nol berarti penjumlahan 23 4 555 ialah tidak benar dsb Referensi SuntingKutipan Sunting Reghizzi Stefano Crespi 2009 Formal Languages and Compilation Texts in Computer Science Springer hlm 8 ISBN 9781848820500 Suatu alfabet ialah himpunan terbatas Martin Davis 1995 Influences of Mathematical Logic on Computer Science Dalam Rolf Herken The universal Turing machine a half century survey Springer hlm 290 ISBN 978 3 211 82637 9 Sumber Sunting John E Hopcroft dan Jeffrey D Ullman Introduction to Automata Theory Languages and Computation Addison Wesley Publishing Reading Massachusetts 1979 ISBN 81 7808 347 7 Pranala luar SuntingAlphabet PlanetMath org Diperoleh dari https id wikipedia org w index php title Bahasa formal amp oldid 23664997