演算法 自動機理論 形式語言 可計算性理論之間都是什麼關係?

時間 2021-11-05 19:48:44

1樓:

個人認為,電腦科學本質是一門用計算工具解決問題的學科。這裡就分成了三部分,問題,方法,以及工具。首先是問題本身的性質,包括可不可解(NP完全性),或者多大程度上可解,這部分對應可計算理論;其次是解決問題的方法或者思路,也就是演算法,同時我們認為越快的演算法越好,這就要研究演算法的複雜度;最後我們需要乙個工具來實現演算法,也就是計算模型,包括圖靈機,lambda演算,以及更高階語法的形式語言。

2樓:

形式語言可以用於理解和分析自然語言的規律,為自然語言建立模型,自動機可結合形式語言的知識來分析自然語言。可計算性是形式語言和自動機的延伸,分析問題是否可(通過程式設計\演算法)解決。再向高走還有複雜度。

演算法是問題解決的具體方式。

3樓:yunfeng

簡單地說,

自動機:抽象計算機

形式語言:可在抽象計算機上執行的語言

給定語言,按照演算法,書寫出程式,解決特定問題可計算性理論:給定問題,(通常是在圖靈機上)能不能用某類演算法求解複雜一點:

語言與自動機具有語法對應關係。語言是靜態語法描述,自動機是動態語法描述。

乙個合乎語法的符號串可以稱為乙個程式。演算法是程式的模式,根據演算法可以生成多個程式。

為乙個問題尋找乙個演算法,能在圖靈機上有限步停止,就證明這個問題可計算。通常這個演算法尋找過程是問題領域相關的。

佩戴自動機械表的注意事項?

小尼言表 1 在手錶的內部會有一些零件以鋼或鐵為材質,如果長時間受磁場影響,會導致這部分零件的運作失靈,因此應該盡量避免腕表長久接觸磁場,然而生活中充電器 電視機等都具備一定的磁場,當發覺腕表計時不準確的時候,可以考慮送去鐘錶店裡進行消磁。2 目前市面上藍寶石鏡面最不易刮花的,除此之外的腕表都建議不...

全自動機芯的機械表幾年後越走越慢正常嗎?

萬錶管家 1 手錶受磁 手錶受磁是手錶走慢的常見原因之一,即使是防磁手錶即使是防磁的手錶也不能放在一些電器旁邊,因為他的某些部件是不防磁的,久而久之還是會被磁化。手錶被磁化需要到專業的手錶維修機構進行消磁。2 動力不足 機械表分為手動上弦和自動上弦兩種。動力不足往往是導致手錶走慢甚至是停走的乙個重要...

配置發動機自動起停技術的車輛,如何在發動機停止工作時維持空調運轉的?

上汽MAXUS 目前常見的汽車空調壓縮機有皮帶驅動和電驅動兩種。配置皮帶驅動空調壓縮機的汽車在開啟空調製冷模式時一般不會觸發啟停功能,或發動機自動熄火後當壓縮機需要工作時發動機再自行啟動。當然也有些車型會暫時犧牲空調的製冷功能。配置電動空調壓縮機的汽車,在蓄電池電量充足的情況下,不需要發動機啟動。我...