joshua/phd-thesis
Archived
1
Fork 0
Code Activity

Changed title of Chap 7. Two small fixes by Leon.

Browse source
This commit is contained in:
Joshua Moerman 2019-01-28 16:32:01 +01:00
parent 9515d42802
commit a49a2608a9
7 changed files with 18 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
biblio-eigen.bib
View file

@ -139,7 +139,7 @@
@misc{MoermanR19, @misc{MoermanR19,
author = {Joshua Moerman and author = {Joshua Moerman and
Jurriaan Rot}, Jurriaan Rot},
title = {Separated Nominal Automata}, title = {Separation and Renaming in Nominal Sets},
note = {Under submission}, note = {Under submission},
year = {2019} year = {2019}
} }

3
biblio.bib
View file

@ -1118,8 +1118,9 @@
booktitle = {International Conference on Grammatical Inference, ICGI 2018}, booktitle = {International Conference on Grammatical Inference, ICGI 2018},
pages = {30--43}, pages = {30--43},
publisher = {Proceedings of Machine Learning Research}, publisher = {Proceedings of Machine Learning Research},
volume = {93},
year = {2018}, year = {2018},
note = {Wachten op doi?} note = {To appear}
} }
@inproceedings{HansenKLMPS10, @inproceedings{HansenKLMPS10,

2
content.tex
View file

@ -12,7 +12,7 @@
\midaligned{Joshua Moerman} \midaligned{Joshua Moerman}
\midaligned{Radboud University} \midaligned{Radboud University}
\midaligned{Nijmegen, the Netherlands} \midaligned{Nijmegen, the Netherlands}
\midaligned{11 January 2019} \midaligned{28 January 2019}
\stop \stop
\page[yes] \page[yes]

6
content/introduction.tex
View file

@ -5,7 +5,7 @@
[title={Introduction}, [title={Introduction},
reference=chap:introduction] reference=chap:introduction]
When I was younger, I often learned how to play with new toys by messing about with them, i.e., by pressing buttons at random, observing their behaviour, pressing more buttons, and so on. When I was younger, I often learned how to play with new toys by messing about with them, by pressing buttons at random, observing their behaviour, pressing more buttons, and so on.
Only resorting to the manual -- or asking \quotation{experts} -- to confirm my beliefs on how the toys work. Only resorting to the manual -- or asking \quotation{experts} -- to confirm my beliefs on how the toys work.
Now that I am older, I do mostly the same with new devices, new tools, and new software. Now that I am older, I do mostly the same with new devices, new tools, and new software.
However, now I know that this is an established computer science technique, called \emph{model learning}. However, now I know that this is an established computer science technique, called \emph{model learning}.
@ -23,7 +23,7 @@ This thesis is about model learning and related techniques.
In the first part, I present results concerning \emph{black box testing} of automata. In the first part, I present results concerning \emph{black box testing} of automata.
Testing is a crucial part in learning software behaviour and often remains a bottleneck in applications of model learning. Testing is a crucial part in learning software behaviour and often remains a bottleneck in applications of model learning.
In the second part, I show how \emph{nominal techniques} can be used to learn automata over structured infinite alphabets. In the second part, I show how \emph{nominal techniques} can be used to learn automata over structured infinite alphabets.
The study on nominal automata was directly motivated by work on learning networks protocols which rely on identifiers or sequence numbers. The study on nominal automata was directly motivated by work on learning network protocols which rely on identifiers or sequence numbers.
But before we get ahead of ourselves, we should first understand what we mean by learning, as learning means very different things to different people. But before we get ahead of ourselves, we should first understand what we mean by learning, as learning means very different things to different people.
In educational science, learning may involve concepts such as teaching, blended learning, and interdisciplinarity. In educational science, learning may involve concepts such as teaching, blended learning, and interdisciplinarity.
@ -538,7 +538,7 @@ This is based on the following publication:
\cite[entry][VenhoekMR18]. \cite[entry][VenhoekMR18].
\stopcontribution \stopcontribution
\startcontribution[title={Chapter \ref[default][chap:separated-nominal-automata]: Separated nominal automata.}] \startcontribution[title={Chapter \ref[default][chap:separated-nominal-automata]: Separation and Renaming in Nominal Sets.}]
We investigate how to reduce the size of certain nominal automata. We investigate how to reduce the size of certain nominal automata.
This is based on the observation that some languages (with outputs) are not just invariant under symmetries, but invariant under arbitrary \emph{transformations}, or \emph{renamings}. This is based on the observation that some languages (with outputs) are not just invariant under symmetries, but invariant under arbitrary \emph{transformations}, or \emph{renamings}.
We define a new type of automaton, the \emph{separated nominal automaton}, and show that they exactly accept those languages which are closed under renamings. We define a new type of automaton, the \emph{separated nominal automaton}, and show that they exactly accept those languages which are closed under renamings.

6
content/separated-nominal-automata.tex
View file

@ -2,7 +2,7 @@
\startcomponent separated-nominal-automata \startcomponent separated-nominal-automata
\startchapter \startchapter
[title={Separated Nominal Automata}, [title={Separation and Renaming in Nominal Sets},
reference=chap:separated-nominal-automata] reference=chap:separated-nominal-automata]
\midaligned{~ \midaligned{~
@ -13,7 +13,7 @@
\startabstract \startabstract
Nominal sets provide a foundation for reasoning about names. Nominal sets provide a foundation for reasoning about names.
They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets.
In this paper, nominal sets are related to \emph{nominal renaming sets}, which involve arbitrary substitutions rather than permutations, through a categorical adjunction. In this chapter, nominal sets are related to \emph{nominal renaming sets}, which involve arbitrary substitutions rather than permutations, through a categorical adjunction.
In particular, the separated product of nominal sets is related to the Cartesian product of nominal renaming sets. In particular, the separated product of nominal sets is related to the Cartesian product of nominal renaming sets.
Based on these results, we define the new notion of \emph{separated nominal automata}. Based on these results, we define the new notion of \emph{separated nominal automata}.
These efficiently recognise nominal languages, provided these languages are renaming sets. These efficiently recognise nominal languages, provided these languages are renaming sets.
@ -914,7 +914,7 @@ such that the unique coalgebra homomorphism from a given $\sa$-coalgebra $(Q,\la
Next, we provide an alternative final $\sa$-coalgebra which assigns $\sb$-nominal languages to states of separated nominal automata. Next, we provide an alternative final $\sa$-coalgebra which assigns $\sb$-nominal languages to states of separated nominal automata.
The essence is to obtain a final $\sa$-coalgebra from the final $B_{\sb}$-coalgebra. The essence is to obtain a final $\sa$-coalgebra from the final $B_{\sb}$-coalgebra.
In order to prove this, we use a technique to lift adjunctions to categories of coalgebras. In order to prove this, we use a technique to lift adjunctions to categories of coalgebras.
This technique occurs more often in the coalgebraic study This technique occurs regularly in the coalgebraic study
of automata \citep[JSS14, KlinR16, KerstanKW14]. of automata \citep[JSS14, KlinR16, KerstanKW14].
\starttheorem[reference=thm:adjunction-lift] \starttheorem[reference=thm:adjunction-lift]

2
content/test-methods.tex
View file

@ -203,7 +203,7 @@ We define the following kinds of sequences.
The above list is ordered from weaker to stronger notions, i.e., every distinguishing sequence is an UIO sequence for every state. The above list is ordered from weaker to stronger notions, i.e., every distinguishing sequence is an UIO sequence for every state.
Similarly, an UIO for a state $s$ is a separating sequence for $s$ and any inequivalent $t$. Similarly, an UIO for a state $s$ is a separating sequence for $s$ and any inequivalent $t$.
Separating sequences always exist for inequivalent states and finding them efficiently is the topic of \in{Chapter}[chap:separating-sequences]. Separating sequences always exist for inequivalent states and finding them efficiently is the topic of \in{Chapter}[chap:minimal-separating-sequences].
On the other hand, UIOs and DSs do not always exist for a machine. On the other hand, UIOs and DSs do not always exist for a machine.
A machine $M$ is \emph{minimal} if every distinct pair of states is inequivalent (i.e.,\break $s \sim t \implies s = t$). A machine $M$ is \emph{minimal} if every distinct pair of states is inequivalent (i.e.,\break $s \sim t \implies s = t$).

7
environment/pdf.tex
View file

@ -7,6 +7,13 @@
% Klikbare referenties % Klikbare referenties
\setupinteraction[state=start, focus=standard, contrastcolor=darkgreen, style=normal] \setupinteraction[state=start, focus=standard, contrastcolor=darkgreen, style=normal]
% Metadata
\setupinteraction
[title={Nominal Techniques and Black Box Testing for Automata Learning},
author={Joshua Moerman},
date={14 January 2019},
keyword={Nominal techniques, Black box testing, Automata learning}]
% Bookmarks in de pdf % Bookmarks in de pdf
\placebookmarks[chapter,section] \placebookmarks[chapter,section]