Which classes of origin graphsare generated by...
Transcript of Which classes of origin graphsare generated by...
![Page 1: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/1.jpg)
Which classes of origin graphsare generated by transducers?
joint work by:Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon and Vincent Penelle
Uniwersytet Warszawski – Università degli Studi di Milano
London, July 10, 2017
This work is part of a project lipa that has received funding from the European Research Council (erc) under theEuropean Union’s Horizon 2020 research and innovation programme (grant agreement No.683080).
1 / 7
![Page 2: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/2.jpg)
Word transductions
DefinitionA transduction is a binary relation on words:
a subset of Σ∗ × Γ∗.
× ??? .
input alphabetoutput alphabet
aababbca aaaabbb
bbbaaaa
compute
origin information[Bojańczyk 2014]
2 / 7
![Page 3: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/3.jpg)
Word transductions
DefinitionA transduction is a binary relation on words:
a subset of Σ∗ × Γ∗.
× ??? .
input alphabetoutput alphabet
aababbca aaaabbb
bbbaaaa
compute
origin information[Bojańczyk 2014]
2 / 7
![Page 4: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/4.jpg)
Word transductions
DefinitionA transduction is a binary relation on words:
a subset of Σ∗ × Γ∗.
× ??? .
input alphabetoutput alphabet
aababbca aaaabbb
bbbaaaa
compute
origin information[Bojańczyk 2014]
2 / 7
![Page 5: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/5.jpg)
Word transductions
DefinitionA transduction is a binary relation on words:
a subset of Σ∗ × Γ∗.
× ??? .
input alphabetoutput alphabet
aababbca aaaabbb
bbbaaaa
compute
origin information[Bojańczyk 2014]
2 / 7
![Page 6: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/6.jpg)
Word transductions
DefinitionA transduction is a binary relation on words:
a subset of Σ∗ × Γ∗
.
× ??? .input alphabet
output alphabet
aababbca aaaabbb
bbbaaaa
compute
origin information[Bojańczyk 2014]
2 / 7
![Page 7: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/7.jpg)
Origin graphs
a b c a b b a c b
a a a b b b b
input edge
output edge
origin edge
origin: a mapping from output positions into input positions
3 / 7
![Page 8: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/8.jpg)
Origin graphs
a b c a b b a c b
a a a b b b b
input edge
output edge
origin edge
origin: a mapping from output positions into input positions
3 / 7
![Page 9: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/9.jpg)
Origin graphs
example: square function (w 7→ w · w)
l o n d o n
l o n d o n l o n d o n
origin: a mapping from output positions into input positions
3 / 7
![Page 10: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/10.jpg)
What is a regular transduction?
Functional caseTheorem: the following models are equivalent:
2-way automata with outputsMonadic Second Order TransductionsStreaming String Transducers
[Engelfriet & Hooogeboom 2001], [Alur & Černy 2010]
Theorem: closed under composition.[Chytil & Jákl 1977], [DFJL 2017]
Remark: still true with origin information. [Bojańczyk 2014]
4 / 7
![Page 11: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/11.jpg)
What is a regular transduction?
Functional caseTheorem: the following models are equivalent:
2-way automata with outputsMonadic Second Order TransductionsStreaming String Transducers
[Engelfriet & Hooogeboom 2001], [Alur & Černy 2010]
Theorem: closed under composition.[Chytil & Jákl 1977], [DFJL 2017]
Remark: still true with origin information. [Bojańczyk 2014]
4 / 7
![Page 12: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/12.jpg)
Which properties of origin graphscharacterise
regular sets of origin graphs?
5 / 7
![Page 13: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/13.jpg)
Which sets of origin graphs are generated by transducers?
Theorem:A set of origin graphs is realised by an unambiguous sstk-registers sstif and only if it is
mso-definable:an mso sentence using , , and labelling in Σ ∪ Γ;
functional:for each input word, there exists at most one origin graph;
bounded:
a particular path decomposition of bounded width.
6 / 7
![Page 14: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/14.jpg)
Which sets of origin graphs are generated by transducers?
Theorem:A set of origin graphs is realised by an unambiguous sstk-registers sstif and only if it is
mso-definable:an mso sentence using , , and labelling in Σ ∪ Γ;
functional:for each input word, there exists at most one origin graph;
bounded:
a particular path decomposition of bounded width.
6 / 7
![Page 15: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/15.jpg)
Which sets of origin graphs are generated by transducers?
Theorem:A set of origin graphs is realised by an unambiguous sstk-registers sstif and only if it is
mso-definable:an mso sentence using , , and labelling in Σ ∪ Γ;
functional:for each input word, there exists at most one origin graph;
bounded:
a particular path decomposition of bounded width.
6 / 7
![Page 16: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/16.jpg)
Which sets of origin graphs are generated by transducers?
Theorem:A set of origin graphs is realised by an unambiguous sstk-registers sstif and only if it is
mso-definable:an mso sentence using , , and labelling in Σ ∪ Γ;
functional:for each input word, there exists at most one origin graph;
bounded crossing:
a particular path decomposition of bounded width.
6 / 7
![Page 17: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/17.jpg)
Which sets of origin graphs are generated by transducers?
Theorem:A set of origin graphs is realised by an unambiguous sstk-registers sstif and only if it is
mso-definable:an mso sentence using , , and labelling in Σ ∪ Γ;
functional:for each input word, there exists at most one origin graph;
bounded crossing:a particular path decomposition of bounded width.
6 / 7
![Page 18: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/18.jpg)
Which sets of origin graphs are generated by transducers?
Theorem:A set of origin graphs is realised by an unambiguous sstk-registers sstif and only if it is
mso-definable:an mso sentence using , , and labelling in Σ ∪ Γ;
functional:for each input word, there exists at most one origin graph;
crossing bounded by k :a particular path decomposition of bounded width.
6 / 7
![Page 19: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/19.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 20: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/20.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 21: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/21.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 22: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/22.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 23: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/23.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 24: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/24.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 25: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/25.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 26: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/26.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 27: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/27.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 28: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/28.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 29: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/29.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 30: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/30.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 31: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/31.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7
![Page 32: Which classes of origin graphsare generated by transducers?highlights-conference.org/wp-content/uploads/2017/09/... · 2017. 9. 5. · aababbca aaaabbb bbbaaaa compute rmation 2014]](https://reader035.fdocuments.net/reader035/viewer/2022071420/611988cdd78eb8240a2c5f8b/html5/thumbnails/32.jpg)
Conclusion
uSST
NSST=MSOT
εNSST
2DFT
2NFT
2NFT with commonguess
=
REG
2NFT
2NFT with commonguess
2NFT with commonguess
MSO
functional
boun
ded deg
ree
bounded crossing
MSO
bounded crossingbounded crossing
{(w , wn) | w ∈ Σ∗, n ∈ N}{(a, an) | n ∈ N}{(w , v) | v is a subword of w}{
(w , w 2)}
{(w , v 2) | v is a subword of w
}
{(w , v 2) | v is a subword of w
}∪{(a, an) | n ∈ N}
{(w , vn) | v is a subword of w , n ∈ N}
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
variants of1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
Thank you for your attention.
c
a a a b b b
n n
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
1 2 3 4 5 6 7 8 9
9 2 7 4 5 6 3 8 1
7 / 7