計算理論は、チューリングマシンより弱い(制限された)計算モデルを対象とすることもある。これらに関する理論を、「オートマトン(の)理論」と呼ぶことがある(この文脈では「オートマトン」とは、チューリングマシンより弱い(制限された)機械の総称である)。正規表現は文字列パターンを指定するのによく使われる。また、それと等価な有限オートマトンは回路設計などに使われる。文脈自由文法はプログラミング言語の構文を定義するのに使われる。非決定性プッシュダウン・オートマトンは文脈自由文法と等価である。原始再帰関数は再帰関数のサブクラスを定義したものである。モデルが異なれば得意分野も異なる。また、形式言語とその文法と、計算モデルとの間には対応する関係があり、計算可能性=表現力について包含関係があることが知られている。チョムスキー階層及び形式言語の階層の記事を参照のこと。計算量理論古典派音楽用語.概説.この時代のヨーロッパの社会は、絶対王政に象徴される封建制から近代民主主義へと移行する激動の時期にあたる。古典派の初期には、音楽家たちはバロック時代と同様に王侯貴族にめしかかえられ、彼らのために作曲し演奏するのが一般的であった。しかし、市民階級の台頭に伴って、一般市民に音楽を教えたり、楽譜を販売したり、演奏会を開催したりして、定職を持たずフリーの音楽家として生計をたてることも可能となった。古典派音楽の時代区分については諸説あるが、次のように分類する例がある。前古典派.前古典派.ここでは、ギャラント様式の誕生を出発点として、場合によっては一般的にはバロックと見なされる作曲家も含め、ウィーン古典派に至る流れの描写を試みる。概説にある区分で言えば、「前古典派、ギャラント様式」と「初期古典派、多感様式」にまたがった時期である。時代背景.ギャラント様式.こうしたことが重なる中、フランスでは簡潔な和声、メロディックで断片動機の反復を多用した旋律法、小規模な形式、短い範囲内での対比を強調する強弱法、豊かで変化に富んだ装飾法などを特徴とするギャラント様式(ロココ様式とも)が生まれ、短い標題音楽や舞曲風の作品を典型とする音楽が書かれるようになった。ギャラント様式の広がり.バッハの息子たち.マンハイム楽派.ナポリ楽派のオペラ.シンフォニア.