Spider diagrams of order

Aidan Delaney, Gem Stapleton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review


Spider diagrams are a visual logic capable of making statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been established, including their soundness, completeness and expressiveness. Recent work has established various relationships between spider diagrams and regular languages, which highlighted various classes of languages that spider diagrams could not define. In particular, this work illustrated the inability of spider diagrams to place an order on certain letters in words. To overcome this limitation, in this paper we introduce spider diagrams of order, incorporating an order relation and present a formalisation of the syntax and semantics. Subsequently, we define the language of such a diagram and establish that the class of such languages includes that of the piecewise testable languages.
Original languageEnglish
Title of host publicationProceedings of the VLL 2007 workshop on Visual Languages and Logic
EditorsP. Cox, A. Fish, J. Howse
Place of PublicationAachen, Germany
PublisherCeur Workshop Proceedings
Number of pages13
Publication statusPublished - 1 Jan 2007
EventProceedings of the VLL 2007 workshop on Visual Languages and Logic - Coeur d'Aléne, Idaho, USA, 23 September 2007
Duration: 1 Jan 2007 → …

Publication series

NameCEUR Workshop Proceedings


WorkshopProceedings of the VLL 2007 workshop on Visual Languages and Logic
Period1/01/07 → …

Bibliographical note

© 2007 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.


  • Visual languages
  • spider diagrams


Dive into the research topics of 'Spider diagrams of order'. Together they form a unique fingerprint.

Cite this