In logic, mathematics, computer science, and linguistics, a formal language is a set of strings whose symbols are taken from a set called "alphabet".
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.
The alphabet of a formal language consists of symbols that concatenate into strings (also called "words").
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.
A formal language is often defined by means of a formal grammar such as a regular grammar or context-free grammar.
Sebuah bahasa formal sering didefinisikan melalui tata bahasa formal seperti tata bahasa reguler atau tata bahasa bebas konteks yang terdiri dari kaidah pembentukan.
In computer science, formal languages are used, among others, as the basis for defining the grammar of programming languages and formalized versions of subsets of natural languages, in which the words of the language represent concepts that are associated with meanings or semantics.
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.
While formal language theory usually concerns itself with formal languages that are described by some syntactic rules, the actual definition of the concept "formal language" is only as above: a (possibly infinite) set of finite-length strings composed from a given alphabet, no more and no less.
Sebuah bahasa formal sering didefinisikan melalui tata bahasa formal seperti tata bahasa reguler atau tata bahasa bebas konteks yang terdiri dari kaidah pembentukan.
By an abuse of the definition, a particular formal language is often thought of as being accompanied with a formal grammar that describes it.
Sebuah bahasa formal sering didefinisikan melalui tata bahasa formal seperti tata bahasa reguler atau tata bahasa bebas konteks yang terdiri dari kaidah pembentukan.
The following rules describe a formal language L over the alphabet Σ{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, +,}: Every nonempty string that does not contain "+" or "=" and does not start with "0" is in L. The string "0" is in L. A string containing "=" is in L if and only if there is exactly one "=", and it separates two valid strings of L. A string containing "+" but not "=" is in L if and only if every "+" in the string separates two valid strings of L. No string is in L other than those implied by the previous rules.
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
Under these rules, the string "23+4=555" is in L, but the string "=234=+" is not.
Berdasar aturan tersebut, string "23+4=555" ialah L, tetapi string "=234=+" ialah bukan.
For instance, nowhere in these rules is there any indication that "0" means the number zero, "+" means addition, "23+4=555" is false, etc.
Sebagai contoh, tidak terdapat pada kaidah ini indikasi bahwa "0" berarti angka nol, "+" berarti penjumlahan, "23+4=555" ialah tidak benar, dsb.