1966/02/01 by Seymour Ginsburg, Edwin H. Spanier · 6 citations
Computer Science · #semigroups and automata theory #Advanced Algebra and Logic #Logic, programming, and type systems
paper · pdf · doi:10.2140/pjm.1966.16.285
openalex publication_date 1966/02/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/07
An interesting class of subsets of lattice points in %-space arises naturally in the mathematical theory of (context free) languages. This is the class of semilinear subsets, a subset of lattice points being semilinear if it is the finite union of cosets of finitely generated sub-semigroups of the set of all lattice points with nonnegative coordinates.