distinguíveis

Distinguíveis é o plural de distinguível, um adjetivo que indica que algo pode ser distinguido ou identificado de outra coisa com base em critérios, propriedades ou respostas observáveis. O termo é usado em várias áreas para descrever a possibilidade de diferenciação entre itens, estados, sinais ou classes, de forma objetiva ou perceptual. Em ciência da computação e lógica formal, por exemplo, dois estados p e q de um autômato finito são distinguíveis se existe uma palavra w tal que, aplicando-se a partir de p, o resultado é aceito, enquanto a leitura a partir de q não é aceita (ou vice-versa). Se não existir tal palavra, p e q são indistinguíveis; estados indistinguíveis não podem ser separados pela linguagem reconhecida, e minimizações de autômatos visam unir tais estados. O teorema de Myhill–Nerode caracteriza exatamente as classes de indistinguibilidade de estados de um autômato para uma linguagem.

Na linguística, percepção e estatística, distinguíveis se referem à capacidade de diferenciar sinais, fonemas, cores ou classes com base em critérios observáveis ou de desempenho de um classificador. Em muitos contextos práticos, a distinção entre itens distinguíveis guia decisões de coleta de dados, desenho de experimentos e design de sistemas de reconhecimento.

Ver também: indistinguibilidade, Myhill–Nerode, classificação, percepção.