K-testability

Na teoria de autômatos, uma propriedade de uma linguagem formal onde a pertinência de uma string pode ser determinada examinando apenas suas sub-strings de comprimento 'k'.