Departmental Papers (CIS)

Date of this Version

June 2006

Document Type

Conference Paper

Comments

From the 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006.

Abstract

We propose nested words to capture models where there is both a natural linear sequencing of positions and a hierarchically nested matching of positions. Such dual structure exists for executions of structured programs where there is a natural well-nested correspondence among entries to and exits from program components such as functions and procedures, and for XML documents where each open-tag is matched with a closing tag in a well-nested manner.

Subject Area

CPS Theory

Publication Source

Lecture Notes in Computer Science: Developments in Language Theory

Volume

4036

Start Page

1

Last Page

13

DOI

10.1007/11779148_1

Copyright/Permission Statement

The original publication is available at www.springerlink.com

Share

COinS
 

Date Posted: 04 December 2006

This document has been peer reviewed.