Stuttering equivalence
id:
stuttering-equivalence-252-4441529
title:
Stuttering equivalence
text:
In theoretical computer science, stuttering equivalence, a relation written as can be seen as a partitioning of paths π and π ′ into blocks, so that states in the k t h block of one path are labeled the same as states in the k t h block of the other path. Corresponding blocks may have different lengths. Formally, this can be expressed as two infinite paths π = s 0 , s 1 , … and π ′ = r 0 , r 1 , … being stuttering equivalent if there are two infinite sequences of integers 0 = i 0 < i 1 < i 2 < …
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Stuttering_equivalence
date created:
date modified:
2023-01-24T14:36:13Z
main entity:
{"identifier":"Q7629197","url":"https://www.wikidata.org/entity/Q7629197"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/c/c8/Stuttering_Equivalence.pdf","width":472,"height":614}
fields total:
13
integrity:
14