From 6f32f8983654f604823de132964b3d4775690311 Mon Sep 17 00:00:00 2001
From: Dane Sabo <yourstruly@danesabo.com>
Date: Tue, 23 Dec 2025 17:40:07 -0500
Subject: [PATCH] Auto sync: 2025-12-23 17:40:07 (8 files changed)

M  .task/taskchampion.sqlite3

A  "Zettelkasten/Permanent Notes/20251223161108-andre-platzer.md"

A  "Zettelkasten/Permanent Notes/20251223162450-web-of-science.md"

A  "Zettelkasten/Permanent Notes/20251223162954-snowballing.md"

A  "Zettelkasten/Permanent Notes/20251223163648-deterministic-parity-automata.md"

A  "Zettelkasten/Permanent Notes/20251223165340-mealy-machines.md"

A  "Zettelkasten/Permanent Notes/20251223170627-finite-state-machines.md"

A  "Zettelkasten/Permanent Notes/20251223171835-moore-machines.md"
---
 .task/taskchampion.sqlite3                    | Bin 471040 -> 479232 bytes
 .../20251223161108-andre-platzer.md           |  22 ++++++++
 .../20251223162450-web-of-science.md          |  17 ++++++
 .../20251223162954-snowballing.md             |  21 ++++++++
 ...223163648-deterministic-parity-automata.md |  27 ++++++++++
 .../20251223165340-mealy-machines.md          |  49 ++++++++++++++++++
 .../20251223170627-finite-state-machines.md   |  49 ++++++++++++++++++
 .../20251223171835-moore-machines.md          |  39 ++++++++++++++
 8 files changed, 224 insertions(+)
 create mode 100644 Zettelkasten/Permanent Notes/20251223161108-andre-platzer.md
 create mode 100644 Zettelkasten/Permanent Notes/20251223162450-web-of-science.md
 create mode 100644 Zettelkasten/Permanent Notes/20251223162954-snowballing.md
 create mode 100644 Zettelkasten/Permanent Notes/20251223163648-deterministic-parity-automata.md
 create mode 100644 Zettelkasten/Permanent Notes/20251223165340-mealy-machines.md
 create mode 100644 Zettelkasten/Permanent Notes/20251223170627-finite-state-machines.md
 create mode 100644 Zettelkasten/Permanent Notes/20251223171835-moore-machines.md

diff --git a/.task/taskchampion.sqlite3 b/.task/taskchampion.sqlite3
index e2ff8bcdc7d12bc9de752e158f0c6b844dbc4219..809cdd22d40a1e0a5a9b13a29bf5e9bd3293f83a 100644
GIT binary patch
delta 5119
zcmb_geRNdC6@T;I%)Ga|Z@)qkvPnobn@zGCl4bYpH`<U$saC88B~^q5LV^Nf2pABf
zlx(yrvIi1g%k=d011twy<w)X6SM3L}wYIfY6AxGqR0WQDtW_J-dN_inGqW2uAN0Te
zbKiaU&D{Cjd*^=a_MR^7-9M+l1gU}`Y#DGa0P4`HgH~mMWfv6)-MVVKPqgexJz@hE
zOa+^h)v1B9PCJM`<%dqiYJH3?+mce7e`Zy7?V$XfyOyO=E0@@$kbF2Lcikcr+ac^m
zHDO6;$+Dpw8)U5gUF;TXH2rH^Js_YzdAA4n^*xlIw|AQd`1CVdJ+Pjw3oM0HQ5|D9
zxg^TYWo)7a(%rTC%iBEA%LM0a5*2v#@_Rg>M&ERg2UaujPu~Z0OBG`Wce34X#;*E`
zv6YP7^rcAmx%7q}53JyVD*zQZ^?oWSXM%yFh%PQ;?CFIJ%N)LJvq;%e#vVAuq$QNq
z2ToD0m<a=`nO=u}<X#UfVuFE%OfXvq_jzC;6O1lr8VcC9-rrL$p9z;lnQ#^p?%zPy
z=jpG|^>+5D*TWRpbmw*tv@(G$pRKhpcA${4X2#mDXRONDw&N@YCdO_$%vd9153Fa7
zH|Pt#>wyXrRGeZK%lZHnU?v#4ff<A-s|OyU9Av`8Bg|(K6F$F_t{3&z9UchS`++>S
zTckH-mU;!CmtnnSkL6$1E#^1OkDDvhPpv;!iMr0xW(lU;y~Qe6K_NmfKziHmdUPjU
zA19-Ik~j52@+ttWR}1x|VKMYV`e700&^IaDNLm|!N5qAxJ-atolv@IVNgNZ*0d<Gz
zVdHW`hteX4a6R%%7sN4fEae=uTVz21ueS7U)a?aseMRdK)A(u1er(KH0yV)PbqUHd
z)^8}(aQr2{79B*A)FpMLN>3L;#qhi^3S0VaCeNS3?o{hL?MM*>^gY<}z$`L)zvNDR
z^v_>LMB~Bq51nAWEMhlFoWNevdjccU{XVEl-|PVw0a!|GUxF%fPc4{BZ)uCDJ4@Um
zF4CLVd(xlRf<_2lrq1+|RrA219WMx=$ojfcZ9NQE$+cjgwa<Es)rVh4gGjL=%PHXn
z%aG+E%Xch6$%Y|%&|&~rNza(yHXl`*&Aad|<~DQGY*ycq1@+hJ0N5a3l$VOXfscsq
zi4E{Ab*;D-`_u+CUz!h}Hho|k7CtuZGu>%gXevgUam={zMdOc+o23rpHE4ygOnyx|
zYxqpeH@sxnZ`f+M4ypzh?vuZ(oR@zg?gby<!^$hlK^OtU(r%>(ofHIaA9b~e%gCxj
z*qi>?4~7&GSEmoe!MjkzdBpZx<ON=G<|y($1{Z(>)$PJtg7u=bRP=~0u~aM+ZK6?x
z;45$*d;&fM?}5|cBsfkAPlJQxmDAu|;3iF<0_T<VYKl0_sh`t&PCcAfaq8rB4yVPO
z&gL}#A=_Dyww)C}`-!wdI7#GQX^Se|AXSMM#8CjL<i1`hMuvN(;!7dJ*qw`B<vw~@
z(>Euir2u&KrcO5*>65TtQBsMqYhoG36*;zif@Q8@SDie3Tw0dCaKB`@j%EWIk&a@R
zf;-{L^zewZO#-#-j#YuJ#Q7}plAk<_mXqpdQ6*SM0w?I%{u9z@v23_jSRsrE#5Rcf
zuC<)B3|e0oz7R$Xe>R^rKV#l)?l8|c+tl~e->7@lwaWF1TmC{Gkq>2Vl@%I(YUpl{
zF=TC8d#t0~zq)=6$4Nto@!Sbk#I?lv6!NCOHH4O7;v1*v6XVj3Oe||jR|<K^{%6qR
zEW2vSnd4HGeykml)eW?!-~yJlUi3*$TOH|oj%q7;4*dXT{L9a)$*rj7d%(HOS<<+4
zE2(;lR^auyCEll@*l4*@SO)Th342IsKfa!<9h1I|L7w$>>tWsQ^pU)C5-l19nL6?f
z%SoYDZ`|qzn4Gx|deghlN!OV(zz4^rDnbwQinugeYD%(CNA_97wUBog!?_PO!+p&N
zf);|B(G^g7SZXDW&8XADGS&(~Ke&ya^*)8*Nx$EWZV+imm$cB^yZ>&4^`~#Au8Hb{
zw^L{l(zOhE(kE|1H7jILC@c{^5{RV{{(=lP!rP!}uK-DB6ZGzj0z^)~1wHAmCg?I!
z(BSW6crmO>|9UZ81Roqm`-U-;tWp7yhp`)cpVSTGwPcA&PAQ4?yH>)M`|YInG0C0w
ztMVB@=DmpJ^zuL8Ln@SR7Z%e?h~uho4lII4;P>Ei7$6NJcq!SmSE?Y#MzBWg|G*Tk
zk2Jl8y`V4qI*-4me>jRqfhfGh8xCpwoA_w<dno%1W}g#k0;J*%>`8+Y7|eA!1rux#
z%<rk^)kUVOjID+_mKWty_z3ET4Q8+E6yBtMJUFLMO3tBHER46W4n*5y;riPGYa)rx
zWEmAYSdAyYUkYZE#ylXCu^xa5?%de1?zVMnI$ZNzfoLQW*22+PR6qY^sea@b);n7j
zX=TqHq<0M{(1%;=NU8_SHe^@1wjZsN`;~ORL4F?4$}d#WL$0RPd(Qvx=%YaCi|o3K
z_6IL3`R?>57C8?zmI?a=>k7*g7STLrep0=l-fS8&DaH=Nu;EFAs4P(y(B^X%kKl6D
zgVw?{ZS>>Pa`AC64wiwdg?-fU8)2e8Sxtub!y^4ifkv85Vj=0jK>N%U9mrtY+O}cK
znw*7xlK2a9%+-QRwZMEWI6oNl`Q!e8-+!xX`*v%x3JR5qtEIDJWAny!o!zd4D@lev
z5gpVrjof$^&T?d371Ba+SDh=Xy>rWk4Z7W4SbRyZ7V^bHv0x<1^d@SOmE`SW<j{Xx
z5+JW$#5JVkLFAmdI?PwsCtVqH*rEM@l(;#tgt~s}sS{E2`^mtYsA#6TAXn#1R_INo
z*OGbXaV4Tb&MvQ;fi;lvfpex0%Jsmkq6r_k5l2GKoj{K4nF0U&P~7K_h62&dnf1xC
znI>E|A|Z_{%A%R1D2ry!bTk#oQetb6ib(4?&AMM&kqZUGQGb-q%dj|yCm8a@gV9(>
z%eu6L<H>BA=F>nh7s*TE4RW96U}g0M;~6IvPlr{XbX@L)V&<zrT)WH({3e!VqCo8q
z1bq=L9u0E46P{!d68df;Z5QcnUNw%tUL1^sVqwkipQ<Sq3I|EsHnBK|G^<F9WsuIE
ziL~&tNW<}XJRFZs)z9IRu0KIX7O6izKdkwJnikBsf+8)Lf^-piZX6q}xxC}RIYv*$
z*qjQDr-wC}KMiAg*dc!%OVx(bwCt3TNRnOBH7UFE&v*xt=*Sf1G{PyJa;PN4X^>Nm
z(*UP*`k`Ovaq8ogPC`^t$LU;7YdQ6DN+%@xm5%n5R&z?HCCa-wtwhV%i;KTha7xE0
zDk<l*j8i&NQAsJMC7janib@=u7I8{PEh;JGw1Ct6^k-gK#kFQyOzm=!V7=9Pjpd;E
zQ}Z?IqiVnDZByJ-W4zz+nxRHXC>!P9$wky3A7e->RFq{WX)cs_iQ?%QiILHAc_KZ-
zw9c`ZMYUKcn+}o872uopJ2EBaviX_Sl)YY)H1Wi;Cd1Q0NAZM6z>OVbutW+>shQzu
zJe0d#(`qKwti^l*EfDobIL4Y}kZjCDMdU~cHO$!}<&%Gp;aQU_=cGNEtf^0G8N2wN
z-v8iYRyC)do6Yb@%ukvw!XiiJPEJzATS3B^BujoIIWnjBKa5<MYMR)T?H`vmMdI0u
z?4RiklBlE3;DBfYaWgd((Bz68jLfIiB^HhNgA>)tH`R<1-plN{oXT|TjFxO@CTYnw
zv-+7}>d1k7+RX+FrbWg-xdu*)3{|W}X)%q&vbCuuIhRL<x7+F6EVo*lXa%+0m?_N}
zI+z=#oI26X$j~A*QO9%20=(|hsL)>&rI|+GWr8lq)bJfSFJ!@Hu8}qAndya^DPG_S
z6V40<zDrGUVldzlVM(bdR|@8j)F(`zn=D3Tm}M<iuB0jGR+Pj|$!hvrxLt4ha8cfx
z&hE|kWaf>477T~uA^p{3erKKQuI{$Y-IoTDNG!m5LU-HkcTri-9s17Jay!3aRKETH
zJhd^!Y_@Z4??cI=?4;%<oBo1llhdWZsDz`TP*4l_$zTsCmU(FWA+n_hIO*h<udi4c
z3~`hc@ywyo?`K&}EuqsQUA2wE??~p+QxN|taj)L=O1|#D$>O7WLmJgo=bGfCa4-;y
z@LB5awsjf*@OB>2?SGv`_835jJZ+To$OT0<7+AMsEpR)b|6cs+XuaGiDv8xeH$4pS
qe<CXH&AIe)U}*x!GIn*o<0KEv21Vrf10YXf`NY2IufF33+y4tm*Fcm2

delta 2168
zcmXw)dvH|M9mntQoO55h_pzIhP?8{<W!KzYLdb@YhiD#Ea10>HkQ5La!y^^a!XyEC
zh?OKTfDL1^-f50gM<g^_v|18ZxK?o3P;DJ;CBX(6n4uA^O-pDYAtDXbp0l<8?EU<{
z=X-v8?m55nyDf*Ow+v@=ri+Ro2wS4QQc(KpdQ7Fnh%!NFwl&Yw&Vj?A8nNg-o4t_y
zRxa@=hWRERZHj4?FPq9ik@2SX$78X_t30?+j>P1~6*BeyRSKZ2dC%{#NIn*7=;sr_
z;<<LmHjCtOAyR~y5V1dJLT*B+CIK;P4#y@xAIq_4?6k;iCfIdPusGXpV(}~<mya@Q
zm|OcVNen|AGsh5fS@tM%WpSbRS)S%zyW}a01i8?3mpcM>Clh9JA^HVkv;B$LS2<=T
z)CtVc$I<%$Fr2}$shJz@;n;nNusqZ4W4kPp!G*|Lo;clxr!A7kh3JFaJS|~f#_@X`
z2Ul^N%Fu2(!zQHKpRfrjJU;vr7EiH#Keb3Qx3*Z^n#8fUl`qH3(KCgs9*)sejwVO%
zqZ|#6b%-xSw@aU~h{lEP27V51JIVwX7cwvLH&Pke-Fq1+T=ZV%doOb_vY+`SyLPul
zL>~7)%VJ{pvKS{OB{3)B<V|4&oP6nl05bB0WNkjMYG^PzjH~98`UU-UJyRPuf2mPp
zjkeK{Vu6-44HnSo{SXp)-K?g4B@Dw1i)rRw9E!bv@cTemSVk+0*vLZjVPSS+go`EA
zcN>RbW31!3=FAyP(9w0l)QyN9(RRBJxK^p_l^Qu;nl0wy$(XO#Ys4b8+kmz|A{(*e
zrx*Lu)qcT^8wKSZbD@$Y+tOXBLhKPS$<vBs8N;bWX<f1>ht#w!PZU<H_RDpmqD`V5
zq-Jk29o&Nhv1@;StpJ&yIWPF2LAKF`z0N)h{siz0_1uLZ-5G{i#O)WVX><Yy!Dm-C
zSkBjBC?n9r_A*54=D@4FKM;g}ndjxZ<{P9?2H0e_nJdg3=}mDz`HLwUmyEZJ14gZp
zZ@AFk#7p82^<kKXJM<I!K_yFHE6vf1bVK`6J1KppJ+Ezm2jx%YS;!`9(0eF_9M?)w
zsU&JC?yJ~K+THzbDtzGH<bKGV=DH!Ou0OaQc*(WJ^$4Etnjy|rC*;@gZ`F_Cs@kn?
zSC^<W@fXT%X{B7FoRxQ@jnFUcQC?AY5gjP5SE|H5y5<!r+nE}HJ_Uh8eJjL}GhPg*
z2okUH^9)nZ1h(k0|6qxJ#jet?NGWtDtrRW`<{ey(EaXQSC>42Vco=$It|{t2pcgJ8
z5-m@omxo~p>S*~m+sb#xS*p%)(D!?;faAG>ZoY(n06A1{!B5fyEx1U-OK}iQqCs>N
zL>h0wY4&JK*w)&@U2QnzEN{it0E2e<<^UaNV~aWUDc+f=CD@jDI7jy2wToc|6$kKf
zNeJN@ROG}5@D2>;_+baX^HJtoNdvd>y)-h!66X%#!L(_t{8mAdV4gSM_}}rF#JC9e
zLlX6rksjOYtEMAm#6sd29k_+r^9JoKCn2Y!oGjA06r#(&#gEaUTR1?^-om@zCa6qG
z6{>}60xjv3vT07Q*hWwEigiTu2&Ai!z5DQGVmXa{qTiLcAI`~>;sUa-l5|yy1eQ^;
zQk+k7JEZ{KP$^a<!Mp!o8Fa#rjElkuTbAXFREkRxE7+<U2++gZ#mDH@m14lTxJ=Ai
zZOX3-OCcbrAF7Act!f2TuH&{`{fhpM{+zyEzfbpQUuma!)d{0!j!A?w_@DTF{0rQO
z7vc;whCW1xlp{1=K`dHULBbyVEz4-ES({fsub@7Ec0Touu`OJ31Fw{b(JP#z@kJy^
zPc9-y;Vx|)XN7b48~l3WqT8p}iG16G^uV9-Dtclb%yiQKjekyvd0x0f8!JeFj#Q9r
z9v<akkp8%WL}=<<m`T?yCb={?##(0sJE?HOjqsg)aj`2d5$uJBsT`LAknK!Y<#ceq
z(d19SN%@^LsuAIauz(eXR7@)dq-x%%1c7E=kSuz7K*}SqfaS~l7zOE}kB~$co@1Y&
zHvGhQB2?1yb5h88VNe<b1kH(_?3DcxJqk2<K?*o9B*CmO5p*G2a96pus2$2l`6=V~
zQjw_PLG&VQ7P1X*;!hJl&RLK<6<pcA$v!se?|KhQu!{~Zk~2s_Brlg%0ZgGCD&*6*
zU2^i&;zED6zkc)9=AHig{E@<fd2=I01^LA`e4XOdy5uvUw9aX-XDu#0@r|bOxU`@3
zR-`+3H2EW-YzIn}*2qDPS!URM+XK|USpJz@(7uKBzz}b80cXsRlOWBl#szb=@oNL=
t*Y)3MliG53pIdRQSK~3S?}+Ner^ydV7^ycM*(ZyLi6gReGbC%$e*vYfV{HHc

diff --git a/Zettelkasten/Permanent Notes/20251223161108-andre-platzer.md b/Zettelkasten/Permanent Notes/20251223161108-andre-platzer.md
new file mode 100644
index 000000000..143fbcf13
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20251223161108-andre-platzer.md	
@@ -0,0 +1,22 @@
+---
+id: 20251223161108
+title: Andre Platzer
+type: permanent
+created: 2025-12-23T21:11:08Z
+modified: 2025-12-23T21:53:21Z
+tags: []
+---
+
+# Andre Platzer
+
+Andre Platzer is a computer scientist who is a professor at
+both Carnegie Mellon and the Karlsruhe Institute of
+Technology. Platzer is a leading researcher in 
+[[differential dynamic logic]] and [[cyber-physical
+systems]]. He has helped to create
+software like [[KeYmaera X]]. 
+
+He has also written a book, called "Logical Foundations of
+Cyber-Physical Systems." Manyu worked with KeYmaera X some
+and was inspired by his work.
+
diff --git a/Zettelkasten/Permanent Notes/20251223162450-web-of-science.md b/Zettelkasten/Permanent Notes/20251223162450-web-of-science.md
new file mode 100644
index 000000000..0c980515d
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20251223162450-web-of-science.md	
@@ -0,0 +1,17 @@
+---
+id: 20251223162450
+title: Web of Science
+type: permanent
+created: 2025-12-23T21:24:50Z
+modified: 2025-12-23T21:29:48Z
+tags: []
+---
+
+# Web of Science
+
+Web of Science is a citation aggregator and database. Web of
+Science has both forward and backward citation sources, and
+other tools for doing source analysis. It is good to find
+resources, but also to connect resources to one another.
+
+This is useful in [[snowballing]]. 
diff --git a/Zettelkasten/Permanent Notes/20251223162954-snowballing.md b/Zettelkasten/Permanent Notes/20251223162954-snowballing.md
new file mode 100644
index 000000000..47bf6c154
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20251223162954-snowballing.md	
@@ -0,0 +1,21 @@
+---
+id: 20251223162954
+title: Snowballing
+type: permanent
+created: 2025-12-23T21:29:54Z
+modified: 2025-12-23T21:31:23Z
+tags: []
+---
+
+# Snowballing
+
+Snowballing is a form of source discovery. Snowballing means
+to start with a source, and travel forwards and backwards
+in time with respect to citations. From this, one can find
+closely related papers to an original source without too
+much effort. 
+
+Snowballing has been found in the literature to be an
+efficient source of collecting relevant sources given a
+certain topic. One needs to find the first bit of snow (a
+good first resource), to start the snowball. 
diff --git a/Zettelkasten/Permanent Notes/20251223163648-deterministic-parity-automata.md b/Zettelkasten/Permanent Notes/20251223163648-deterministic-parity-automata.md
new file mode 100644
index 000000000..278ddecfe
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20251223163648-deterministic-parity-automata.md	
@@ -0,0 +1,27 @@
+---
+id: 20251223163648
+title: Deterministic Parity Automata
+type: permanent
+created: 2025-12-23T21:36:48Z
+modified: 2025-12-23T21:40:09Z
+tags: []
+---
+
+# Deterministic Parity Automata
+
+Deterministic parity automata are a type of automata where
+the environment and the system play against one another, and
+describes the interactions therein. DPA are exhaustive, and
+end up with a result determining which player 'wins'. 
+
+DPA's have a scoring mechanism that results in an even or
+odd final score. An even final score indicates that the
+'controller' wins the game. There is no input from the
+environment that can't be controlled by the controller. All
+traces end up in a favorable state, with no infinite loops.
+An odd score means the opposite. There exists some limit
+cycle where the controller can't reach a desired mode and
+stay there. 
+
+DPA's are used in [[strix]]. They're how Strix does it's
+generation from temporal logics to a final automaton.
diff --git a/Zettelkasten/Permanent Notes/20251223165340-mealy-machines.md b/Zettelkasten/Permanent Notes/20251223165340-mealy-machines.md
new file mode 100644
index 000000000..8753144cf
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20251223165340-mealy-machines.md	
@@ -0,0 +1,49 @@
+---
+id: 20251223165340
+title: Mealy Machines
+type: permanent
+created: 2025-12-23T21:53:40Z
+modified: 2025-12-23T22:38:18Z
+tags: []
+---
+
+# Mealy Machines
+
+Mealy machines are a formalization of a system that has
+states drawn as nodes and transitions drawn from state to
+state. 
+
+From Wikipedia:
+```
+    A mealy machine is a finite state machine whose
+output values are determined by both its current state, and
+the current inputs.
+```
+
+Mealy machines can also be defined as a six-tuple:
+
+$$(S, S_0, \Sigma, \Lambda, T, G)$$
+
+where 
+- S is the finite set of states
+- S_0 is the start state
+- $\Sigma$ is the input alphabet
+- $\Lambda$ is the output alphabet
+- $T : S \times \Sigma \rightarrow S$ is the state
+transition function
+- $G : S \times \Sigma \rightarrow \Lambda$ is the output
+function
+
+Mealy machines have the advantage that they generally can
+produce smaller sized automata (aka less states). This is
+because transitions themselves in a Mealy machine are states
+in a Moore machine. The state of 'opening' in a Moore
+machine is the transition itself in a Mealy machine. Outputs
+aren't just based on state, so it isn't necesary to create a
+state to produce an output like a Moore machine. An output
+action can be created with the current state AND the input
+together.
+
+## Related
+[[Finite State Machines]]
+
diff --git a/Zettelkasten/Permanent Notes/20251223170627-finite-state-machines.md b/Zettelkasten/Permanent Notes/20251223170627-finite-state-machines.md
new file mode 100644
index 000000000..78374eb99
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20251223170627-finite-state-machines.md	
@@ -0,0 +1,49 @@
+---
+id: 20251223170627
+title: Finite State Machines
+type: permanent
+created: 2025-12-23T22:06:27Z
+modified: 2025-12-23T22:39:00Z
+tags: []
+---
+
+# Finite State Machines
+
+Finite State Machines are a computer science term for
+machines that have a finite number of states, with clearly
+defined transitions between them. Sometimes, FSM are
+referred to simply as *state machines*. 
+
+FSM are an abstraction of a computational system. FSM are
+heavily used in systems that have clearly defined discrete
+states. Examples include traffic lights, elevators,
+combination locks, or others.
+
+FSM have **actions**. Actions are the unabstractified
+version of whatever the execution is. For physical systems,
+it might be something like turning a motor on.
+
+FSM can be categorized into two main categories:
+
+## Acceptors (or 'detectors' or 'recognizers') Acceptors are
+a type of FSM that produce binary output, recognizing
+whether or not a given input is accepted. Examples of
+systems that are acceptors include things like ready-commit
+systems, or a password checker. These systems have an input,
+and reach a state that determines the input is acceptable,
+or incorrect. 
+
+## Transducers
+Transducers are a set of finite state machines that produce
+an output based on input or state using *actions*. Actions
+in this case represent a transition between state that
+also has some external change. A finite state machine of an
+elevator would have actions of the elevator changing between
+floors, for example.
+
+Transducers with respect to control have two different
+types:
+[[mealy-machines]] -- these have output depend on state and input
+[[moore-machines]] -- these have output depend on state ONLY
+
+
diff --git a/Zettelkasten/Permanent Notes/20251223171835-moore-machines.md b/Zettelkasten/Permanent Notes/20251223171835-moore-machines.md
new file mode 100644
index 000000000..f1cdbaf75
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20251223171835-moore-machines.md	
@@ -0,0 +1,39 @@
+---
+id: 20251223171835
+title: Moore Machines
+type: permanent
+created: 2025-12-23T22:18:35Z
+modified: 2025-12-23T22:39:56Z
+tags: []
+---
+
+# Moore Machines
+Moore machines are a type of finite state machine whose
+output only depends on output state. Moore machines are
+useful because they simplify the behavior of a system to the
+simplest behaviours possible. They can be defined as a
+six-tuple:
+
+
+$$(S, S_0, \Sigma, \Lambda, T, G)$$
+
+where 
+- S is the finite set of states
+- S_0 is the start state
+- $\Sigma$ is the input alphabet
+- $\Lambda$ is the output alphabet
+- $T : S \times \Sigma \rightarrow S$ is the state
+transition function
+- $G : S \rightarrow \Lambda$ is the output
+function
+
+Moore machines do not have exit actions. They can only
+change their output based on a change of state. This means
+for systems with physical characteristics, such as a door
+opening or closing system, the intermediate states of
+opening and closing have to exist in a Moore machine. It is
+not possible to go from Open to Closed directly, because
+Open can't generate the output Closed. Instead, Open + the
+input 'open_door' or similar goes to the state 'closing',
+which can then create an action of 'motor_on' or similar,
+and then finally get to the final state Closed.