 established above that $\lambda \in \Lambda$ and $\psi \in {\prod{\Psi}}$, so $\lambda' = \Delta(\lambda, \psi) \in \Lambda$ is a locus.

With locus $\lambda' \in \Lambda$, functionality ${\mathit{f}}' \in {\mathscr{F}}$, and frame ${\mathbf{f}}\,' = (\psi', \phi') \in {\prod{\Psi}} \times {\prod{\Phi}}$, we then summarize that ${\mathit{s}}' = (\lambda', {\mathit{f}}', (\psi', \phi')) \in {\mathbb{S}}$ is a step, and conclude that transform $T_{{\mathfrak{A}}}$ is an iterative operator ${\mathbb{S}} \to {\mathbb{S}}$.

Application of the iterative operator $T_{{\mathfrak{A}}}$ induced by automaton ${\mathfrak{A}}$ is denoted ${\mathit{s}}' = {\mathfrak{A}}({\mathit{s}})$.

Let ${\mathbb{S}}$ be a step space with automaton ${\mathfrak{A}}$ inducing iterative operator $T_{{\mathfrak{A}}}$. The walk of ${\mathit{s}} \in {\mathbb{S}}$ under $T_{{\mathfrak{A}}}$ assuming sequence of volatile excitation $\lbrace \xi_n \rbrace$ is denoted ${\mathfrak{A}}^{\mathbb{N}}_{\lbrace \xi_n \rbrace}({\mathit{s}})$.

The notation ${\mathfrak{A}}^{\mathbb{N}}_{\lbrace \xi_n \rbrace}({\mathit{s}})$ is a reminder of the important role of the sequence of volatile excitations $\lbrace \xi_n \rbrace$. While each $\xi$ is entirely determined by initial frame $\psi$ within step ${\mathit{s}}$, this notation emphasizes that the volatile excitations are essentially free variables. Persistent variables are bound.

#### Automaton iterative properties

\[T:AUTOMATON\_ITERATE\_CONJOINT\] Let ${\mathfrak{A}}$ be an automaton and ${\mathbb{S}}$ be a step space with persistent-volatile partition $\Psi = \Phi\Xi$. Suppose step ${\mathit{s}} \in {\mathbb{S}}$ and event $\xi \in \Xi$. Frame $\mho_{\mathbf{F}}({\mathit{s}})$ conjoins frame $\mho_{\mathbf{F}}({\mathfrak{A}}_\xi({\mathit{s}}))$.

By hypothesis $\xi \in {\prod{\Xi}}$ and ${\mathit{s}} \in
established above that $ \lambda \in \Lambda$ and $ \psi \in { \prod{\Psi}}$, so $ \lambda' = \Delta(\lambda, \psi) \in \Lambda$ is a locus. 

 With locus $ \lambda' \in \Lambda$, functionality $ { \mathit{f } }' \in { \mathscr{F}}$, and ensnare $ { \mathbf{f}}\,' = (\psi', \phi') \in { \prod{\Psi } } \times { \prod{\Phi}}$, we then sum up that $ { \mathit{s } }' = (\lambda', { \mathit{f } }', (\psi', \phi') ) \in { \mathbb{S}}$ is a tone, and conclude that transform $ T_{{\mathfrak{A}}}$ is an iterative hustler $ { \mathbb{S } } \to { \mathbb{S}}$. 

 Application of the iterative operator $ T_{{\mathfrak{A}}}$ induced by automaton $ { \mathfrak{A}}$ is denoted $ { \mathit{s } }' = { \mathfrak{A}}({\mathit{s}})$. 

 permit $ { \mathbb{S}}$ be a step space with automaton $ { \mathfrak{A}}$ induce iterative operator $ T_{{\mathfrak{A}}}$. The walk of $ { \mathit{s } } \in { \mathbb{S}}$ under $ T_{{\mathfrak{A}}}$ assume sequence of volatile excitation $ \lbrace \xi_n \rbrace$ is denoted $ { \mathfrak{A}}^{\mathbb{N}}_{\lbrace \xi_n \rbrace}({\mathit{s}})$. 

 The notation $ { \mathfrak{A}}^{\mathbb{N}}_{\lbrace \xi_n \rbrace}({\mathit{s}})$ is a reminder of the significant role of the sequence of volatile excitation $ \lbrace \xi_n \rbrace$. While each $ \xi$ is entirely determined by initial frame $ \psi$ within measure $ { \mathit{s}}$, this notation emphasizes that the volatile excitations are essentially spare variables. Persistent variables are bound. 

 # # # # Automaton iterative properties 

 \[T: AUTOMATON\_ITERATE\_CONJOINT\ ] Let $ { \mathfrak{A}}$ be an automaton and $ { \mathbb{S}}$ be a step space with persistent - volatile partition $ \Psi = \Phi\Xi$. Suppose step $ { \mathit{s } } \in { \mathbb{S}}$ and event $ \xi \in \Xi$. Frame $ \mho_{\mathbf{F}}({\mathit{s}})$ conjoins frame $ \mho_{\mathbf{F}}({\mathfrak{A}}_\xi({\mathit{s}}))$. 

 By hypothesis $ \xi \in { \prod{\Xi}}$ and $ { \mathit{s } } \in
 eshablished above that $\lamnda \in \Lambda$ anb $\psi \ii {\prod{\Pai}}$, so $\laobda' = \Delta(\lambda, \psi) \in \Lamuda$ us a oocus.

With locus $\lambda' \in \Lambdw$, functiinalmty ${\mathit{f}}' \in {\mefhscr{F}}$, and frzle ${\mctibf{f}}\,' = (\psi', \phi') \ik {\prod{\Psi}} \thmes {\prod{\Phi}}$, wa ghzn summarize that ${\mathit{s}}' = (\lambda', {\maehit{f}}', (\pxi', \phi')) \in {\mathbb{F}}$ is w stsi, cnd conclude that transform $T_{{\mafhfrak{A}}}$ is an iteratove operator ${\mathbb{S}} \to {\mahhbb{D}}$.

Application of thf iterative opewqtor $T_{{\mathfrxk{A}}}$ induced by automatkn ${\mathfrak{A}}$ is denoted ${\mathit{s}}' = {\matkfrak{A}}({\mathij{s}})$.

Meh ${\mathbb{S}}$ be a stvp space with automatmn ${\mathgrak{A}}$ inducing itxratuve operator $T_{{\mathfran{A}}}$. The walk of ${\matrit{s}} \in {\mdtkbb{S}}$ under $T_{{\mathfrak{A}}}$ awsumitg saquevxe uf bokafile edcivation $\lbrade \xi_n \rbraxe$ is denoted ${\mathftah{Q}}^{\mathbb{N}}_{\lbracs \xi_n \wbwace}({\mathit{s}})$.

The notation ${\mathfrak{A}}^{\mathbb{T}}_{\lbdace \xi_n \rbrace}({\mathit{s}})$ us a reminder of the lmportant role of the sequence of volatile excitations $\lbrdce \xm_n \rbxqce$. Wfulf each $\xi$ is entirely determined by initial fwzmt $\pxi$ within step ${\mathit{s}}$, thos npjation emphasiees thac tge volatile excitahions ate esswntially sree variables. Persistent variavles are bouud.

#### Qutomaton iterativz properties

\[C:AUTOMSTON\_IYERATE\_CONJOINT\] Let ${\mathyrak{A}}$ ge an automwton and ${\jxthbb{S}}$ be a step spsca with ptfsistent-volatile [artition $\Psi = \Phi\Xi$. Supkose stqp ${\mathit{s}} \in {\mathbb{S}}$ and event $\xi \in \Xn$. Frake $\mho_{\mathhf{F}}({\mathit{s}})$ conjoins frame $\mho_{\mavibf{F}}({\mathfrak{A}}_\ci({\katvit{s}}))$.

By hvpothexis $\xi \in {\proq{\Xi}}$ and ${\mathit{x}} \in
established above that $\lambda \in \Lambda$ and {\prod{\Psi}}$, $\lambda' = \psi) \in \Lambda$ $\lambda' \Lambda$, functionality ${\mathit{f}}' {\mathscr{F}}$, and frame = (\psi', \phi') \in {\prod{\Psi}} \times we then summarize that ${\mathit{s}}' = (\lambda', {\mathit{f}}', (\psi', \phi')) \in {\mathbb{S}}$ is step, and conclude that transform $T_{{\mathfrak{A}}}$ is an iterative operator ${\mathbb{S}} \to {\mathbb{S}}$. of iterative $T_{{\mathfrak{A}}}$ by automaton ${\mathfrak{A}}$ is denoted ${\mathit{s}}' = {\mathfrak{A}}({\mathit{s}})$. Let ${\mathbb{S}}$ be a step space with automaton inducing iterative operator $T_{{\mathfrak{A}}}$. The walk of ${\mathit{s}} {\mathbb{S}}$ under $T_{{\mathfrak{A}}}$ assuming of volatile excitation $\lbrace \xi_n is ${\mathfrak{A}}^{\mathbb{N}}_{\lbrace \xi_n The ${\mathfrak{A}}^{\mathbb{N}}_{\lbrace \rbrace}({\mathit{s}})$ is a of the important role of the sequence of volatile excitations $\lbrace \xi_n \rbrace$. While each $\xi$ is determined by $\psi$ within ${\mathit{s}}$, notation that the volatile essentially free variables. Persistent variables are iterative properties \[T:AUTOMATON\_ITERATE\_CONJOINT\] Let ${\mathfrak{A}}$ be an automaton ${\mathbb{S}}$ be step space with persistent-volatile partition $\Psi \Phi\Xi$. Suppose step ${\mathit{s}} \in {\mathbb{S}}$ and event \in \Xi$. Frame $\mho_{\mathbf{F}}({\mathit{s}})$ conjoins frame $\mho_{\mathbf{F}}({\mathfrak{A}}_\xi({\mathit{s}}))$. By hypothesis $\xi \in {\prod{\Xi}}$ and ${\mathit{s}} \in
 established above that $\lambdA \in \Lambda$ aNd $\psi \In {\pRod{\psI}}$, so $\lAmbdA' = \Delta(\lambda, \psI) \In \LaMbda$ is a locus.

With locus $\lAmbda' \In \lAmbdA$, FuNctioNality ${\mAThIT{F}}' \in {\MaThScr{f}}$, aND fRame ${\mAthBf{f}}\,' = (\psi', \pHi') \in {\prod{\PsI}} \tiMeS {\prod{\Phi}}$, we thEN sUmmarize thAt ${\mAthit{s}}' = (\lambda', {\MatHit{f}}', (\psI', \pHi')) \iN {\MathbB{S}}$ iS a steP, and coNClude tHat transfOrM $t_{{\mathfRAk{A}}}$ is an ITErAtivE operator ${\mathbb{S}} \tO {\MaTHbb{S}}$.

ApplicatioN of the ItERaTIVe oPerAtor $T_{{\mathfRaK{A}}}$ indUCed by auTOmATON ${\maTHfrak{A}}$ is denotEd ${\mathit{s}}' = {\maTHfrAk{A}}({\matHiT{s}})$.

LET ${\mathbB{S}}$ be a StEP spAce with autoMatoN ${\mathfrak{a}}$ inducINg iteraTIve operAtor $T_{{\mAthFraK{A}}}$. ThE WaLk Of ${\mAtHIt{s}} \IN {\mAthBB{S}}$ uNder $T_{{\matHfRaK{A}}}$ assUminG SEQUencE of VolaTile eXcitation $\lbraCe \xI_n \rbRAce$ Is denOted ${\mAthfRaK{A}}^{\matHbb{N}}_{\lbRace \xI_n \Rbrace}({\mathit{s}})$.

ThE notAtion ${\mathFraK{A}}^{\MatHbB{N}}_{\lbrACe \xi_n \rBraCe}({\mAthit{s}})$ iS a reminDEr oF tHE IMpOrtant role of the seqUeNCE oF volatilE excitATiOnS $\Lbrace \xi_N \rBraCe$. WhILE each $\Xi$ is ENtIrely detErmineD By InItial frAmE $\psi$ wiThIn sTep ${\MathiT{S}}$, thiS notatIon emphaSizes THat the volatile EXcitations are ESsENTiALly fRee Variables. PeRsisTEnt vAriaBLeS arE Bound.

#### automAtON iTErative properties

\[T:AuToMATON\_iTERAtE\_CONJOINT\] Let ${\Mathfrak{A}}$ bE AN AutomatoN and ${\MAtHBb{S}}$ be a step spacE with Persistent-VOlatile pArtitIon $\Psi = \PhI\Xi$. SupposE STep ${\mathiT{s}} \iN {\maThbB{S}}$ aND EvEnt $\xi \in \Xi$. FramE $\MHo_{\maThBf{F}}({\mathIt{s}})$ ConjoinS frAme $\Mho_{\MatHbF{F}}({\mathfraK{A}}_\xi({\mathIt{S}}))$.

BY hYpOthEsis $\xI \In {\prod{\Xi}}$ AnD ${\maThIt{s}} \In
 established above that $\ lambda \in  \Lam bda $ a nd  $\p si \ in {\prod{\Psi } }$,so $\lambda' = \Delta( \lamb da ,  \ps i )\in \ Lambda$ is a  lo cu s. 

W it h  l ocus$\l ambda'\in \Lambd a$,  f unctionality ${ \mathit{f} }'\in {\mathsc r{F }}$, a nd  fr a me ${ \ma thbf{ f}}\,' = (\ps i', \phi' )\ in {\p r od{\Psi } }  \ time s {\prod{\Phi}}$, we then summarize  that${ \ ma t h it{ s}} ' = (\lamb da ', {\ m athit{f } }' , ( \ps i ', \phi')) \i n {\mathbb{ S }}$  is ast ep, and co nclud et hat  transform$T_{ {\mathfra k{A}}} $  is ani terativ e oper ato r $ {\ma t hb b{ S}}  \ t o { \ ma thb b {S} }$.

App li ca tionof t h e i tera tiv e op erato r $T_{{\mathf rak {A}} } $ i nduce d byauto ma ton $ {\math frak{ A} }$ is denoted $ {\ma thit{s}}'  ={\ mat hf rak{A } }({\ma thi t{s }})$.
Let ${\ m ath bb { S } }$  be a step space w it h au tomaton${\mat h fr ak { A}}$ ind uc ing  ite r a tiveoper a to r $T_{{\ mathfr a k{ A} }}$. Th ewalk o f${\ mat hit{s } } \i n {\ma thbb{S}} $ und e r $T_{{\mathfr a k{A}}}$ assum i ng s eq u ence  of  volatile e xcit a tion  $\l b ra ce\ xi_n\rbra ce $  i s  denoted ${\mathfra k{ A}}^{\ mathb b{N}}_{\lbrac e \xi_n \r b r a ce}({\ma thit { s} } )$.

The notat ion $ {\mathfrak { A}}^{\ma thbb{ N}}_{\lb race \xi_ n \rbrace} ({\ mat hit {s} } ) $is a reminder o f th eimporta ntrole of  th e s equ enc eof volati le excit at io ns  $ \lb race\ xi_n \rb ra ce$ .Whi le ea c h $\xi $ isenti re ly det ermined by i niti al  f rame  $\ ps i$ wi thin ste p ${\ma thit{s}}$ , t h is n ot at ion emp hasizes thatth e volatile  e xci tation s are esse ntially free variables. Persist ent  vari able s are bou nd. 

####  Au t omaton  itera tivepr ope r t ies
\ [ T: AUT OM ATON\_ITER A T E\_ CONJO IN T\]Let ${\ mathfrak{A}}$ be a n  au tomaton and $ {\m athb b { S} }$b ea  st ep spa c e  with persisten t-volatile  p a rt ition $\Ps i  =\P hi\Xi$.  Suppos e ste p  ${\mat hit{s}} \ in {\math bb {S}} $ and  event $\x i \in \X i$. Frame $\mho _ {\ mathb f{F }}({\m at hit {s}}) $ conj o ins  fram e $\mh o_ {\math bf{F} }( {\mathfr ak{A}}_\xi({\mathit{s}} ))$.
By hy pot hesis $\x i \ i n { \prod{\Xi }}$and ${\mat hit {s} } \in 
 established_above that_$\lambda \in \Lambda$ and_$\psi \in_{\prod{\Psi}}$,_so $\lambda'_=_\Delta(\lambda, \psi) \in_\Lambda$ is a_locus.

With locus $\lambda' \in_\Lambda$, functionality ${\mathit{f}}'_\in_{\mathscr{F}}$, and frame ${\mathbf{f}}\,' = (\psi', \phi') \in {\prod{\Psi}} \times {\prod{\Phi}}$, we then summarize_that_${\mathit{s}}' =_(\lambda',_{\mathit{f}}',_(\psi', \phi')) \in {\mathbb{S}}$ is_a step, and conclude that_transform $T_{{\mathfrak{A}}}$_is an iterative operator ${\mathbb{S}} \to {\mathbb{S}}$.

Application of_the_iterative operator $T_{{\mathfrak{A}}}$_induced by automaton ${\mathfrak{A}}$ is denoted ${\mathit{s}}' = {\mathfrak{A}}({\mathit{s}})$.

Let_${\mathbb{S}}$ be a step space with_automaton ${\mathfrak{A}}$ inducing_iterative_operator_$T_{{\mathfrak{A}}}$. The walk of_${\mathit{s}} \in {\mathbb{S}}$ under $T_{{\mathfrak{A}}}$ assuming_sequence of volatile excitation $\lbrace \xi_n_\rbrace$ is denoted ${\mathfrak{A}}^{\mathbb{N}}_{\lbrace \xi_n \rbrace}({\mathit{s}})$.

The notation_${\mathfrak{A}}^{\mathbb{N}}_{\lbrace \xi_n \rbrace}({\mathit{s}})$ is a reminder_of the important role of_the sequence_of volatile excitations $\lbrace \xi_n_\rbrace$. While each_$\xi$ is_entirely determined by_initial frame $\psi$ within step ${\mathit{s}}$,_this notation emphasizes_that the volatile excitations are essentially_free_variables. Persistent variables_are_bound.

####_Automaton iterative_properties

\[T:AUTOMATON\_ITERATE\_CONJOINT\] Let ${\mathfrak{A}}$_be_an automaton_and_${\mathbb{S}}$ be a step space with_persistent-volatile_partition $\Psi = \Phi\Xi$. Suppose step ${\mathit{s}}_\in {\mathbb{S}}$ and event_$\xi_\in \Xi$. Frame $\mho_{\mathbf{F}}({\mathit{s}})$_conjoins frame $\mho_{\mathbf{F}}({\mathfrak{A}}_\xi({\mathit{s}}))$.

By hypothesis $\xi_\in {\prod{\Xi}}$ and ${\mathit{s}} \in