Stängd egendom för vanliga språk

Stängningsegenskapen för vanliga språk  - huvudegenskaperna för slutenhet av språk uttrycks i slutenhet med avseende på följande operationer: förening, skärningspunkt, addition, skillnad, omkastning, iteration, sammanlänkning, homomorfism , invers homomorfism.

Egenskapen låter dig skapa en språkigenkännare (byggd från två andra språk med hjälp av operationer [sammankoppling, etc.]) genom att mekaniskt ansluta två automater av givarspråk. Men eftersom en sådan automat innehåller fler tillstånd än någon av de två, visar sig closure-egenskapen vara ett användbart verktyg för att konstruera komplexa automater [1] .

Anteckningar

  1. Hopcroft, 2002 .

Litteratur