[RFC] Addition of Libalf to Tools (and some more details) #42
Conversation
alangerak
force-pushed
the
tool-expansion
branch
from
61a86f5
to
60e2495
Compare
alangerak
changed the title
|
Are we not adding to many words. For instance by mentioning the origin of the name, I think it can be done using less words and even then is simply an interesting fact and not entirely necessary. Mostly the text is nice though. The text is clear and does not contain much nonsense discussions that do not have anything to do with the subject. |
|
@StefanBoodt According to the chat, sicco mentioned that it would be nice to add the origin of the name. But if others too find it out of place then I will remove it. |
| automatically makes abstractions for automata learning. The name comes from a | ||
| gnome from the book: The Wonderful Adventures of Nils. The lead character is | ||
| this book, Nils, is transformed into a gnome. After numorous adventures, Tomte | ||
| changed him back to normal. |
There was a problem hiding this comment.
@alangerak I do not have anything against it, although I might have missed it in the chat, but maybe too many words are used here. Something like "The name originates from the book: The Wonderful Adventures of Nils, in which the main character is transformed into a gnome and has adventures before Tomte changes back to normal." already saves a few words without removing any information.
There was a problem hiding this comment.
Sicco did mention it, but I'm leaning to calling it out of place as well.
But perhaps if you shorten the text it sticks out less :p
There was a problem hiding this comment.
Maybe something like: It is named after a character from the book: The Wonderful Adventures of Nils and then follow with the text which was removed. I could even set this in parentheses after the name Tomte.
alangerak
force-pushed
the
tool-expansion
branch
from
2561a42
to
68e49cf
Compare
| The previous sections have shown that active automata learning is a currently | ||
| studied computational learning process. However, as section | ||
| \cref{sec:variants} has shown, there are some challenges in using active | ||
| automata learning in a practical setting. To overcome these challenge as well |
There was a problem hiding this comment.
Instead of some challenges ?
Edit: Never minid, spotted the other challenge
| that are used for that language. This storage makes it possible to switch | ||
| learning algorithms or to use multiple learning algorithms during the learning | ||
| process. Therefore, Libalf is suitable for experimenting with different kind of | ||
| learning algorithms and see how they would affect the learn process. |
There was a problem hiding this comment.
and -> to. Remove would? It's not a simulation so you actually see the effects.
There was a problem hiding this comment.
Indeed, originally I wanted to state that Libalf is also usefull to learn actual applications.
| \url{http://libalf.informatik.rwth-aachen.de}} is a library for learning and | ||
| manipulating formal languages. It has both active and passive learning | ||
| algorithms. The name is short for Automata Learning Framework. In this article, | ||
| only the active part is covered. |
|
Sorry @alangerak 😆 |
|
Comment of @StefanBoodt does not apply anymore since Sicco doesn't care about word count, ready to merge imo. |
This also fixes #52