Introducing Second-Order Spider Diagrams for Defining Regular Languages | IEEE Conference Publication | IEEE Xplore