Kuroda normal form
id:
kuroda-normal-form-273-6669552
title:
Kuroda normal form
text:
In formal language theory, a noncontracting grammar is in Kuroda normal form if all production rules are of the form: where A, B, C and D are nonterminal symbols and a is a terminal symbol. Some sources omit the A → B pattern. It is named after Sige-Yuki Kuroda, who originally called it a linear bounded grammar, a terminology that was also used by a few other authors thereafter. Every grammar in Kuroda normal form is noncontracting, and therefore, generates a context-sensitive language. Converse
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Kuroda_normal_form
date created:
date modified:
2023-05-25T18:02:34Z
main entity:
{"identifier":"Q1452617","url":"https://www.wikidata.org/entity/Q1452617"}
image:
fields total:
13
integrity:
13