【導(dǎo)讀】是人與人的通訊工具。計(jì)算機(jī)系統(tǒng)間、人機(jī)間通訊工具。數(shù)學(xué)語言(符號(hào)):嚴(yán)格、準(zhǔn)確-形式化。高度的抽象,嚴(yán)格的理論基礎(chǔ)和方便的計(jì)。call過程名(參數(shù)表). 子組成的集合就是該文法產(chǎn)生的語言??肆衷?951年到1956年間,從識(shí)別語言的。角度研究語言,給出了語言的另一種描述??肆质窃谘芯可窠?jīng)細(xì)胞中,建立了自動(dòng)機(jī),他用這種自動(dòng)機(jī)。1959年,Chomsky通過深入研究,將他本人的研究成果。20世紀(jì)50年代,人們用巴科斯范式(BackusNour. 這一成功,使得形式語言在20世紀(jì)60年。代得到了大力的發(fā)展。計(jì)算思維能力的培養(yǎng),主要是由基礎(chǔ)理論系列課程實(shí)。它們構(gòu)成的是一個(gè)梯級(jí)訓(xùn)練系統(tǒng)。之為該字母表上的符號(hào)串,也稱作"字"。定義1設(shè)∑1、∑2是兩個(gè)字母表,∑1與∑2的乘積。{0,1}*={ε,0,1,00,01,11,000,