Complete Abstractions for Checking Language Inclusion (Q5056350)
From MaRDI portal
scientific article; zbMATH DE number 7628964
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete Abstractions for Checking Language Inclusion |
scientific article; zbMATH DE number 7628964 |
Statements
Complete Abstractions for Checking Language Inclusion (English)
0 references
8 December 2022
0 references
abstract interpretation
0 references
completeness
0 references
language inclusion
0 references
regular language
0 references
context-free language
0 references
one-counter net
0 references
automaton
0 references
grammar
0 references
