Myhill–Nerode theorem
id:
myhill-nerode-theorem-304-1074600
title:
Myhill–Nerode theorem
text:
In the theory of formal languages, the Myhill–Nerode theorem provides a necessary and sufficient condition for a language to be regular. The theorem is named for John Myhill and Anil Nerode, who proved it at the University of Chicago in 1957.
brand slug:
wiki
category slug:
encyclopedia
description:
Necessary and sufficient condition for a formal language to be regular
original url:
https://en.wikipedia.org/wiki/Myhill%E2%80%93Nerode_theorem
date created:
date modified:
2023-07-08T17:51:59Z
main entity:
{"identifier":"Q422187","url":"https://www.wikidata.org/entity/Q422187"}
image:
fields total:
13
integrity:
14