sentence2: Машыну можна апісаць наступным чынам: M = ( Q , Γ , Σ , s , b , F , δ ) {\displaystyle M=(Q,\Gamma ,\Sigma ,s,b,F,\delta )\,} дзе: Q {\displaystyle Q\,} aбазначае канечнае мноства станаў.
sentence1: أوتومات الدفع السفلي هو السباعية : A = ( Q , Δ , Γ , δ , q i n , A i n , F ) {\displaystyle {\mathcal {A}}=(Q,\Delta ,\Gamma ,\delta ,q_{in},A_{in},F)} حيث يتحقق : Q {\displaystyle Q} هي مجموعة منتهية من الحالات .