什麼正式的語言可以歸結？ 使用範例

什麼是形式語言，以及如何從自然不同？ 它是如何形成的？ 什麼正式的語言可以歸結？ 它是用來指他嗎？

形式語言的特點

所以我們稱之為一組人工語言，其特點是關於表達式的施工精確的規則，以及他們的理解。 用於工業用途的系統可以歸結為正式語言。 它們是建立在遵守明確的規則，提供性能和研究的關係一致，結構緊湊，精確的顯示 主題區域 或建模的對象。 標記的價值和意義不能由任何實用的功能（使用的上下文的）來改變。 這可能是由於在語義轉換和語義解釋規則的形式語言的存在。 他們利用數學的基地往往建。 由於它，在發展的整個跨度，採用了各種符號標誌的事實已經被應用到各種概念和對象。 這就是需要正式的語言。 他們可以顯著減少數據。 此前，與正式和自然語言一起已被使用，但與主題和需要做出的數學推理的嚴密的邏輯分析的逐漸複雜化，就決定放棄了過去。 這個過程從十七到二十世紀一直持續。 這是上個世紀被認為是最有成效的形式語言方面。 各種特殊分支創建。 因此，對於計算機科學是特別重要的編程語言和邏輯代數的，不僅有理論，而且從實用的角度出發。

定義

以什麼形式語言可以歸因，我們已經簡要地解釋。 但是，我們可以對他們說？ 正式的語言被賦予了很多不同的定義。 全部列出來，會留下大量的時間，所以來看看最流行：

1. 在語言中的單詞的簡單列表 - 通常相對於最終的結構類型以及有關的結構簡單的那些這麼說。
2. 通過某種形式的語法生成詞。
3. 正則表達式生成的結構。
4. 由BPF設計產生的話。
5. 該結構中，通過一個有限自動機識別的。

讓我們來看一個例子。 比方說，我們有全字母，給出了兩個數字1和0顯示字母“O”，我們使用的1010001.這組合是使用正式語言。 也可以使用空字（當字符串長度為零，並沒有什麼）與我們熟悉的形式特殊的標誌。 但是，更詳細地了解什麼是一個正式的語言，幫助4例接下來將給出。 它有什麼作用？ 為了讀者的理解是，一個正式的語言可以歸結。 但更多的是一些關於如何創建它們。

形式語言的構建

每一種語言是被創造一次和別人一個正式的結構。 它們通常是建立在相同的模式：

1. 首先，選擇字母，或某一組特定的字符將建成並在語言使用的表達式。 通過正式的語言是任何方式使用計算機進行編程。
2. 它描述了語法，那就是，特點和規律，將建立有意義的句子。
3. 對詞語和表達一定的規則。 這裡有個規則：任何字母序列必須能夠算的話。

通過正式的語言是指具有明確的規則，任何結構 - 它應該被記住。 建築時有一些功能。 因此，術語“字符”在意義方面非常多功能，所以在大多數情況下使用的術語為“字母”。 但它們下面可以理解不僅為我們平時的符號，而且括號，特殊字符等。 這僅適用於正式的語言。

例1

讓我們用1和0開始。在這種情況下，使用更多的“任期”的理念和“公式”。 第一充當對象的類似物和用於指特定的東西的名稱。 首先，了解下他們的常量和各個變量。 這些，反過來，建立更複雜的結構，這是在一些語言功能中使用使用。 下的組中的條款理解該式中，在一定的編程語言的使用，其是可能的。 該“指令”將被處理，人將得到期望的結果。

例2

考慮其中存在的反轉（¬），析取的示例邏輯（∧），則結合（∨）和含義（⇒）和其他幾個人。 在圖像的這種記錄可以被給定為：

1. A;
2. A∧V⇒¬A
3. ¬（A∨¬S）

隨著人物A，B，C，替代變量，你會得到的邏輯運算。 凡申請這種類型的形式語言？ 廣泛使用這種機制，其中已經由程序員所描述的編程語言，數學，關係，邏輯和數學函數，或部分被發現。

例3

讓我們看一個更複雜的邏輯公式：

¬（A∨¬S）⇔¬A∧S= 1

這就是為什麼我們需要通過正規的語言。 試想一下，如果它是在描述的話會發生什麼？ 現在，基於公式推導出的結論。 有意義的表達式可以在正規的語言只能得到當某些規則得到遵守預先形成，變化和其製造它們的配方和術語的“理解”：

1. 建設項公式和;
2. 研究語義方面和解釋;
3. 公式和其他條款之一的序列。

每個正規的語言應妥善制訂一套規則。

例4

由於語言的語法輸出術語和公式的規則存在可以進行同構轉型模式。 因此，將開展不僅反映（的表現）已經存在的知識的具體機構，但可以接收新的信息。 此外，改造，不過，並根據明確和嚴格的規定發生，也可以實現自動化。 類似的技術在使用 專家系統， 知識庫，軟件和決策支持產品。

結論

正式的語言被廣泛應用於科學，尤其是藝術。 在科學研究和實踐活動的實施，他們可以與自然的互動，鑑於後者的可觀表現能力。 然而，正式的語言可以更準確地傳遞知識，開展人類所積累的信息客觀交換。