Algebraic characterization of regular languages: How to cope with all these equivalences?

Judith Gal-Ezer; Mark Trakhtenbrot

Algebraic characterization of regular languages: How to cope with all these equivalences?

Computer Science discipline

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
Pages	325
Number of pages	1
State	Published - 2006
Event	ITiCSE06: 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education - Bologna, Italy Duration: 26 Jun 2006 → 28 Jun 2006

Publication series

Name	ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
Volume	2006

Conference

Conference	ITiCSE06: 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
Country/Territory	Italy
City	Bologna
Period	26/06/06 → 28/06/06

Keywords

Automata theory
Equivalence relations
Reasoning problems

Cite this

Gal-Ezer, J., & Trakhtenbrot, M. (2006). Algebraic characterization of regular languages: How to cope with all these equivalences? In ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (pp. 325). (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education; Vol. 2006).

Gal-Ezer, Judith ; Trakhtenbrot, Mark. / Algebraic characterization of regular languages : How to cope with all these equivalences?. ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. 2006. pp. 325 (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

@inproceedings{ec7dbaae71554a33ba583c3a85bb32f5,

title = "Algebraic characterization of regular languages: How to cope with all these equivalences?",

keywords = "Automata theory, Equivalence relations, Reasoning problems",

author = "Judith Gal-Ezer and Mark Trakhtenbrot",

note = "Copyright: Copyright 2008 Elsevier B.V., All rights reserved.; ITiCSE06: 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education ; Conference date: 26-06-2006 Through 28-06-2006",

year = "2006",

language = "אנגלית",

isbn = "1595930558",

series = "ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education",

pages = "325",

booktitle = "ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education",

}

Gal-Ezer, J & Trakhtenbrot, M 2006, Algebraic characterization of regular languages: How to cope with all these equivalences? in ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, vol. 2006, pp. 325, ITiCSE06: 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, Bologna, Italy, 26/06/06.

Algebraic characterization of regular languages: How to cope with all these equivalences? / Gal-Ezer, Judith; Trakhtenbrot, Mark.
ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. 2006. p. 325 (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education; Vol. 2006).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Algebraic characterization of regular languages

T2 - ITiCSE06: 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education

AU - Gal-Ezer, Judith

AU - Trakhtenbrot, Mark

PY - 2006

Y1 - 2006

KW - Automata theory

KW - Equivalence relations

KW - Reasoning problems

UR - http://www.scopus.com/inward/record.url?scp=33748956106&partnerID=8YFLogxK

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:34548303951

SN - 1595930558

SN - 9781595930552

T3 - ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education

SP - 325

BT - ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education

Y2 - 26 June 2006 through 28 June 2006

ER -

Gal-Ezer J, Trakhtenbrot M. Algebraic characterization of regular languages: How to cope with all these equivalences? In ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. 2006. p. 325. (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

Algebraic characterization of regular languages: How to cope with all these equivalences?

Publication series

Conference

Keywords

Other files and links

Cite this