Advances and applications of automata on words and trees : abstracts collection

From 12.12.2010 to 17.12.2010, the Dagstuhl Seminar 10501 "Advances and Applications of Automata on Words and Trees" was held in Schloss Dagstuhl - Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

10501 Abstracts Collection -- Advances and Applications of Automata on Words and Trees

From 12.12.2010 to 17.12.2010, the Dagstuhl Seminar 10501 ``Advances and Applications of Automata on Words and Trees\u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

'Thou single wilt prove none': Counting, Succession and Identity in Shakespeare's Sonnets

he need to conjoin singularity and exemplarity drives a range of Shakespeare’s procreation sonnets in the young man sub-sequence. Standing for “a singularly perfect nature” as well as for “the yet more total perfection of the Nature of nature,” as Joel Fineman putsit, the young man “represents not only the particular token and general type of ideality, but, also . . . the harmoniously organic way these are related to one another.” Often, these sonnets achieve their end by projecting the relationship between ideal and actual onto biology; they conflate the metaphysical “pattern” – to borrow a word from Sonnets 19 and 98 – embodied by the young man with the reproductive generation, potentially ad infinitum, of his likenesses. This underlying logic derives, as Fineman further notes in passing, from an engagement, more or less explicit, with an inherited mathematical tradition: Only if we grant the unitary arithmetic of idealism does it make sense that the young man, multiplying himself after his own kind, will father the “many” that will prove him “One.” And only if we accept the tidy categoriality of genus and species will we understand how the young man spawns a series of particulars whose lineal succession embodies the young man’s universality: “Proving his beauty by succession thine.” (251) Fineman’s evidentiary instance comes from Sonnet 2, where the notion of “succession” brings together the biological iteration of sameness with the sequential unfolding of cardinal numbers, “proving” the currency of this “unitary arithmetic” by opening a passage between the idea of a (real) biological series (“like father, like son”) and the series of whole numbers, based on the repeated addition of the idealised unit or the one