{{\cal V}},{{\cal B}},{{\cal O}})$-1dta. By $\mathrm{1QFA}$, we indicate the family of all languages recognized by bounded-error 1qfa’s. We then obtain $\mathrm{1QFA} = {\mathrm{REG}}$.

[**(vii) Deterministic Pushdown Automata.**]{} A *1-way deterministic pushdown automaton* (or a 1dpda) $M$ can be seen as a $({{\cal V}},{{\cal B}},{{\cal O}})$-1dta when $({{\cal V}},{{\cal B}},{{\cal O}})$ satisfies the following properties. Let ${{\cal V}}=\{[k]\times \bot\Gamma^*\mid k\in{\mathbb{N}}^{+}, \Gamma\,\text{: alphabet}\}$, where $\bot$ is a distinguished bottom marker not in $\Gamma$. Let ${{\cal B}}$ be composed of all maps of the form $B(q,\bot z) = (\mu_1(q,z_n),\bot z_1z_2\cdots z_{n-1}\mu_2(q,z_n))$ for 2 functions $\mu_1:[k]\times \Gamma\to [k]$ and $\mu_2:[k]\times\Gamma\to\Gamma^{\leq l}$, where $z=z_1z_2\cdots z_n\in\Gamma^n$ and $l\in{\mathbb{N}}^{+}$. Intuitively, a single application of $B$ represents a series of moves in which $M$ reads one symbol and then makes a single non-$\lambda$-move followed by a certain number of $\lambda$-moves. Let ${{\cal O}}$ consist of all pairs $(E_{acc},E_{rej})$ with $E_{acc}=  Q_1\times \bot\Gamma^*$ and $E_{rej}= Q_2\times \bot\Gamma^*$, where $\{Q_1,Q_2\}$ is a partition of $[k]$. We write ${\mathrm{DCFL}}$ for the class of all languages recognized by 1dpda’s. Well known relations include ${\mathrm{REG}}\subsetneqq {\mathrm{CFL}}$.

Basic Properties of $({{\cal V}},{{\cal B}},{{\cal O}})$-1dta’s {#sec:basic-properties}
===============================================================

For a given automata base $(
{ { \cal V}},{{\cal B}},{{\cal O}})$-1dta. By $ \mathrm{1QFA}$, we indicate the family of all languages recognized by restrict - mistake 1qfa ’s. We then obtain $ \mathrm{1QFA } = { \mathrm{REG}}$. 

 [ * * (vii) Deterministic Pushdown Automata. * * ] { } A * 1 - way deterministic pushdown automaton * (or a 1dpda) $ M$ can be seen as a $ ({ { \cal V}},{{\cal B}},{{\cal O}})$-1dta when $ ({ { \cal V}},{{\cal B}},{{\cal O}})$ satisfy the following properties. permit $ { { \cal V}}=\{[k]\times \bot\Gamma^*\mid k\in{\mathbb{N}}^{+ }, \Gamma\,\text {: alphabet}\}$, where $ \bot$ is a distinguished bottom marker not in $ \Gamma$. Let $ { { \cal B}}$ be composed of all map of the form $ B(q,\bot z) = (\mu_1(q, z_n),\bot z_1z_2\cdots z_{n-1}\mu_2(q, z_n))$ for 2 functions $ \mu_1:[k]\times \Gamma\to [ k]$ and $ \mu_2:[k]\times\Gamma\to\Gamma^{\leq l}$, where $ omega = z_1z_2\cdots z_n\in\Gamma^n$ and $ l\in{\mathbb{N}}^{+}$. Intuitively, a single application of $ B$ represents a series of motion in which $ M$ reads one symbol and then draw a individual non-$\lambda$-move succeed by a certain number of $ \lambda$-moves. lease $ { { \cal O}}$ consist of all pairs $ (E_{acc},E_{rej})$ with $ E_{acc}=   Q_1\times \bot\Gamma^*$ and $ E_{rej}= Q_2\times \bot\Gamma^*$, where $ \{Q_1,Q_2\}$ is a partition of $ [ k]$. We write $ { \mathrm{DCFL}}$ for the course of all languages recognize by 1dpda ’s. Well known relations include $ { \mathrm{REG}}\subsetneqq { \mathrm{CFL}}$. 

 Basic Properties of $ ({ { \cal V}},{{\cal B}},{{\cal O}})$-1dta ’s { # sec: basic - property } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 For a given automata base $ (
{{\cal V}},{{\cal B}},{{\cal O}})$-1dta. By $\mathro{1QFA}$, we indicatg rhe fakily or all lavguages recognized by boundev-errir 1qfq’s. We then obtain $\mathfm{1QFA} = {\manhrm{REG}}$.

[**(viu) Deuerministic Pushdown Automata.**]{} A *1-aay beverministic pusmdown automdton* (or a 1dpda) $M$ ccn be seen as a $({{\cal V}},{{\cal B}},{{\cal O}})$-1dta wren $({{\cal V}},{{\fal B}},{{\cal O}})$ satysfits ehe rollowing properties. Let ${{\cal V}}=\{[k]\timss \bot\Gemma^*\mid k\in{\mathnb{N}}^{+}, \Gamma\,\text{: alphabet}\}$, whege $\blt$ is a distinguisjed bottom narkqe not in $\Gamoa$. Let ${{\cal B}}$ be composgd of all maps of the form $B(q,\bot z) = (\mb_1(q,z_n),\bot z_1z_2\ceors x_{t-1}\mu_2(q,z_n))$ for 2 funcnions $\mu_1:[k]\times \Gamma\tm [k]$ and $\mu_2:[k]\times\Gamma\bo\Gamka^{\lwq l}$, where $z=z_1z_2\cdots z_i\in\Gamma^n$ and $l\in{\matrbb{N}}^{+}$. Intuhtnvely, a single applicqtuon ox $B$ seprdwengs z xedies ov mkves in whjch $M$ reads one symbol and them iqkes a single non-$\laibqa$-move followed by a certain number of $\namgda$-moves. Let ${{\cal O}}$ consust of all pairs $(E_{acc},G_{rej})$ with $Q_{acc}=  Q_1\times \bot\Gamma^*$ and $E_{rej}= Q_2\times \bot\Gamma^*$, whare $\{Q_1,S_2\}$ is a oqrhition of $[k]$. We write ${\mathrm{DCFL}}$ for the class kf akl languages rccognized by 1dpda’s. Wflk known relatiuns inemuse ${\mathrm{REG}}\subsetjeqq {\majhrm{CFO}}$.

Basic Prjperyies of $({{\cal V}},{{\cal B}},{{\cal O}})$-1dta’s {#sec:basic-proiertues}
===============================================================

For a given autlmata base $(
{{\cal V}},{{\cal B}},{{\cal O}})$-1dta. By $\mathrm{1QFA}$, we family all languages by bounded-error 1qfa’s. {\mathrm{REG}}$. Deterministic Pushdown Automata.**]{} *1-way deterministic pushdown (or a 1dpda) $M$ can be as a $({{\cal V}},{{\cal B}},{{\cal O}})$-1dta when $({{\cal V}},{{\cal B}},{{\cal O}})$ satisfies the properties. Let ${{\cal V}}=\{[k]\times \bot\Gamma^*\mid k\in{\mathbb{N}}^{+}, \Gamma\,\text{: alphabet}\}$, where $\bot$ is a distinguished marker in Let B}}$ be composed of all maps of the form $B(q,\bot z) = (\mu_1(q,z_n),\bot z_1z_2\cdots z_{n-1}\mu_2(q,z_n))$ for functions $\mu_1:[k]\times \Gamma\to [k]$ and $\mu_2:[k]\times\Gamma\to\Gamma^{\leq l}$, where z_n\in\Gamma^n$ and $l\in{\mathbb{N}}^{+}$. Intuitively, single application of $B$ represents series moves in $M$ one and then makes single non-$\lambda$-move followed by a certain number of $\lambda$-moves. Let ${{\cal O}}$ consist of all pairs $(E_{acc},E_{rej})$ $E_{acc}= Q_1\times $E_{rej}= Q_2\times where is partition of $[k]$. ${\mathrm{DCFL}}$ for the class of all 1dpda’s. Well known relations include ${\mathrm{REG}}\subsetneqq {\mathrm{CFL}}$. Basic of $({{\cal B}},{{\cal O}})$-1dta’s {#sec:basic-properties} =============================================================== For a automata base $(
{{\cal V}},{{\cal B}},{{\cal O}})$-1dta. By $\mathrm{1QFa}$, we indicatE the fAmiLy oF aLl laNguaGes recognized bY BounDed-error 1qfa’s. We then obtaIn $\matHrM{1qFA} = {\mAThRm{REG}}$.

[**(Vii) DeteRMiNIStiC PUsHdoWn aUtOmata.**]{} a *1-waY determInistic pusHdoWn Automaton* (or a 1DPdA) $M$ can be seeN as A $({{\cal V}},{{\cal B}},{{\cal o}})$-1dtA when $({{\cAl v}},{{\caL b}},{{\cal O}})$ SatIsfieS the foLLowing PropertieS. LET ${{\cal V}}=\{[k]\TImes \bot\gAMmA^*\mid K\in{\mathbb{N}}^{+}, \Gamma\,\teXT{: aLPhabet}\}$, where $\bot$ Is a disTiNGuISHed BotTom marker nOt In $\GamMA$. Let ${{\cal b}}$ Be COMPosED of all maps of tHe form $B(q,\bot Z) = (\Mu_1(q,Z_n),\bot z_1Z_2\cDotS Z_{n-1}\mu_2(q,z_N))$ for 2 fUnCTioNs $\mu_1:[k]\times \GAmma\To [k]$ and $\mu_2:[k]\Times\GAMma\to\GaMMa^{\leq l}$, wHere $z=z_1Z_2\cdOts Z_n\in\gAmMa^N$ anD $l\IN{\maTHbB{N}}^{+}$. INTuiTively, a sInGlE applIcatION OF $B$ rePreSentS a serIes of moves in wHicH $M$ reADs oNe symBol anD theN mAkes a Single Non-$\laMbDa$-move followed bY a ceRtain numbEr oF $\lAmbDa$-Moves. lEt ${{\cal O}}$ ConSisT of all pAirs $(E_{acC},e_{reJ})$ wITH $e_{aCc}=  Q_1\times \bot\Gamma^*$ anD $E_{REJ}= Q_2\Times \bot\gamma^*$, wHErE $\{Q_1,q_2\}$ Is a partiTiOn oF $[k]$. We WRIte ${\maThrm{dcFl}}$ for the cLass of ALl LaNguages ReCognizEd By 1dPda’S. Well KNown RelatiOns incluDe ${\matHRm{REG}}\subsetneqQ {\Mathrm{CFL}}$.

BasiC prOPErTIes oF $({{\caL V}},{{\cal B}},{{\cal O}})$-1dTa’s {#sEC:basIc-prOPeRtiES}
===============================================================

For a Given AuTOmATa base $(
{{\cal V}},{{\cal B}},{{\c al O}})$-1 dta.By$\m at hrm{ 1QFA }$, we indicat e  the  family of all languag es re co g nize d  b y bou nded-er r or 1 qfa ’s .Weth e nobtai n $ \mathrm {1QFA} = { \ma th rm{REG}}$.
[ ** (vii) Dete rmi nistic Pushd own  Autom at a.* * ]{} A  *1 -waydeterm i nistic  pushdown  a u tomato n * (or a 1 dp da)$M$ can be seen a s  a $({{\cal V}},{ {\calB} } ,{ { \ cal  O} })$-1dta w he n $({ { \cal V} } ,{ { \ c alB }},{{\cal O}} )$ satisfie s  th e foll ow ing proper ties.  L e t $ {{\cal V}}= \{[k ]\times \ bot\Ga m ma^*\mi d  k\in{\ mathbb {N} }^{ +},\ Ga mm a\, \t e xt{ :  a lph a bet }\}$, wh er e$\bot $ is a d isti ngu ishe d bot tom marker no t i n $\ G amm a$. L et ${ {\ca lB}}$be com posed  o f all maps of t he f orm $B(q, \bo tz)=(\mu_ 1 (q,z_n ),\ bot  z_1z_2 \cdotsz _{n -1 } \ m u_ 2(q,z_n))$ for 2 f un c t io ns $\mu_ 1:[k]\ t im es \Gamma\t o[k] $ an d $\mu_ 2:[k ] \t imes\Gam ma\to\ G am ma ^{\leql} $, whe re  $z =z_ 1z_2\ c dots  z_n\i n\Gamma^ n$ an d  $l\in{\mathbb { N}}^{+}$. Int u it i v el y , asin gle applica tion of $ B$ r e pr ese n ts aserie so fm oves in which $M$ r ea ds one  symb ol and then m akes a sin g l e  non-$\l ambd a $- m ove followed b y a c ertain num b er of $\ lambd a$-moves . Let ${{ \ c al O}}$con sis t o f a l l  p airs $(E_{acc } , E_{r ej })$ wit h $ E_{acc} = Q_1 \ti mes  \ bot\Gamma ^*$ and$E _{ re j} = Q _2\ti m es \bot\ Ga mma ^* $,where $\{Q_1 ,Q_2\ }$ i sap art ition o f  $ [ k ]$.We  w rite  ${ \m athrm {DCF L }}$  for th e class o f a l l la ng ua ges rec ognized by 1d pd a’s. Wellkn own  relat i o ns inclu de ${\mathrm{REG}}\subs e tneqq { \ma thrm{ CFL} }$.

Basi c P ropert ies of $({ {\calV}},{ {\ cal B }},{{ \ c al  O} }) $-1dta’s { # s ec: basic -p rope rties}================== = === ============= === ==== = = == === = == = === == = === = 
For a given au tomata bas e$ (
{{\cal V}},{{\cal_B}},{{\cal O}})$-1dta._By $\mathrm{1QFA}$, we indicate_the family_of_all languages_recognized_by bounded-error 1qfa’s._We then obtain_$\mathrm{1QFA} = {\mathrm{REG}}$.

[**(vii) Deterministic_Pushdown Automata.**]{} A_*1-way_deterministic pushdown automaton* (or a 1dpda) $M$ can be seen as a $({{\cal V}},{{\cal_B}},{{\cal_O}})$-1dta when_$({{\cal_V}},{{\cal_B}},{{\cal O}})$ satisfies the following_properties. Let ${{\cal V}}=\{[k]\times \bot\Gamma^*\mid_k\in{\mathbb{N}}^{+}, \Gamma\,\text{:_alphabet}\}$, where $\bot$ is a distinguished bottom marker_not_in $\Gamma$. Let_${{\cal B}}$ be composed of all maps of the_form $B(q,\bot z) = (\mu_1(q,z_n),\bot z_1z_2\cdots_z_{n-1}\mu_2(q,z_n))$ for 2_functions_$\mu_1:[k]\times_\Gamma\to [k]$ and $\mu_2:[k]\times\Gamma\to\Gamma^{\leq_l}$, where $z=z_1z_2\cdots z_n\in\Gamma^n$ and $l\in{\mathbb{N}}^{+}$._Intuitively, a single application of $B$_represents a series of moves in which_$M$ reads one symbol and then_makes a single non-$\lambda$-move followed_by a_certain number of $\lambda$-moves. Let_${{\cal O}}$ consist_of all_pairs $(E_{acc},E_{rej})$ with_$E_{acc}=  Q_1\times \bot\Gamma^*$ and $E_{rej}=_Q_2\times \bot\Gamma^*$, where_$\{Q_1,Q_2\}$ is a partition of $[k]$._We_write ${\mathrm{DCFL}}$ for_the_class_of all_languages recognized by_1dpda’s._Well known_relations_include ${\mathrm{REG}}\subsetneqq {\mathrm{CFL}}$.

Basic Properties of $({{\cal_V}},{{\cal_B}},{{\cal O}})$-1dta’s {#sec:basic-properties}
===============================================================

For a given automata base_$(