ARXO ATLAScanonical corpus

Published package / CLIR

wikimedia.dfa_minimization

v0.1.0

DFA minimization

Cover of wikimedia.dfa_minimization: 57 CLIR nodes by family

Authored metadata / not derived

Label

Issuer
Wikipedia contributors (Wikimedia Foundation), en.wikipedia.org, ревизия 1368656269; статья ВТОРИЧНА и ссылается на Хопкрофта, Ульмана и теорему Майхилла–Нероуда — эти первоисточники в корпусе не закреплены
Jurisdiction
no sovereign — the norm was not issued by an authority
Kind of instrument
encyclopedia article
Status
doctrine, not an act of authority
What is pinned
official bytes pinned

verified The text of the package was checked against the pinned source by hand.

State of preservation

  • official bytes1 edition

    The bytes of the official publication are pinned.

Depth of formalisation

5
EXECUTABLE 5
a deriving node refers to the fragment — something is derived from it
ANCHORED 0
addressable by a semantic node, but nothing is derived
SOURCE_ONLY 0
the text is pinned and addressable, no references

The levels are computed from CLIR; authored markup for them does not exist: hand markup would mean that an author’s mistake silently changes the completeness report. This is not a share of the act: the share of the document covered by fragments is measured against the bytes of the pinned publication and is not computed here.

Sources

  • DFA minimization · Wikipedia, «DFA minimization», revision 1368656269 · editions: 1

Try it

This package is not embedded in the workbench, and it has no “try it” button: the button would open emptiness. The embedded ones were chosen for the mechanics they show, not by the importance of the act — any other package can be executed by opening its directory in the workbench from disk.

  • faraid.shares — Фараид — наследственный расчёт исламского права
  • intl.turkic.nakhchivan_2009 — Закон Республики Казахстан от 23 мая 2025 года № 191-VIII «О ратификации Протокола о внесении изменений в Нахичеванское соглашение о создании Совета сотрудничества тюркоязычных государств»
  • kz.corpus.capital_status — Конституционный закон Республики Казахстан «О статусе столицы Республики Казахстан»
  • kz.corpus.pinningexample — Положение о порядке учёта обращений
  • kz.corpus.socialassistance — Адресная социальная помощь (учебный срез)
  • kz.corpus.tuystyq — Туыстық жүйе — казахская система родства

Cite

The address of a norm is immutable: contentHash is computed over the canonical bytes, and any edit of the package yields a different hash. The link below points not at “the latest version” but at specific bytes — what citation requires and a version number does not give.

DFA minimization · WIKI_DFA_MIN · wikimedia.dfa_minimization@0.1.0 · sha256:40ffd78bd6e45bc7ed50c594a15cbfb6ef5fbe7bc1e4463e88fa7aa8df20d5c3