Erişilebilir DFA durum eşdeğerliği
En çok 16 durumlu ve dört sembollü tam DFA'nın erişilebilir durumlarını kabul edilen son eklere göre gruplayın.
def dfa_classes(table, accepting):
if type(table) is not list or not 1 <= len(table) <= 16:
raise ValueError("state count")
n = len(table)
if type(table[0]) is not list or not 1 <= len(table[0]) <= 4:
raise ValueError("alphabet size")
width = len(table[0])
if any(type(row) is not list or len(row) != width or
any(type(x) is not int or not 0 <= x < n for x in row)
for row in table):
raise ValueError("complete transition table")
if type(accepting) is not set or any(
type(x) is not int or not 0 <= x < n for x in accepting):
raise ValueError("accepting states")
seen, pending = {0}, [0]
while pending:
for dest in table[pending.pop()]:
if dest not in seen:
seen.add(dest); pending.append(dest)
groups = [g for g in (seen & accepting, seen - accepting) if g]
while True:
owner = {s: i for i, g in enumerate(groups) for s in g}
refined = []
for group in groups:
buckets = {}
for state in sorted(group):
key = tuple(owner[d] for d in table[state])
buckets.setdefault(key, set()).add(state)
refined.extend(buckets.values())
if len(refined) == len(groups):
return sorted([sorted(g) for g in refined])
groups = refined| Proje | Eşdeğer ve ayırt edilebilir durumları sınayın; erişilemeyenleri dışlayıp geçersiz geçişleri reddedin. |
|---|---|
| Uygulamadan önce inceleyin | Gerçek davranışı beklenen sonuçla karşılaştırın. Bir kontrol başarısız olursa yeni değişikliklerden önce nedenini araştırın. |
| Modeller | Temel URL ve gerekiyorsa API anahtarıyla OpenAI uyumlu veya Anthropic endpoint yapılandırın. Bağlantıyı test edin. Yerel model sunucusu çalışıyor olmalıdır; uzak araçlar ayrıca veri aktarabilir. |
def dfa_classes(table, accepting):
if type(table) is not list or not 1 <= len(table) <= 16:
raise ValueError("state count")
n = len(table)
if type(table[0]) is not list or not 1 <= len(table[0]) <= 4:
raise ValueError("alphabet size")
width = len(table[0])
if any(type(row) is not list or len(row) != width or
any(type(x) is not int or not 0 <= x < n for x in row)
for row in table):
raise ValueError("complete transition table")
if type(accepting) is not set or any(
type(x) is not int or not 0 <= x < n for x in accepting):
raise ValueError("accepting states")
seen, pending = {0}, [0]
while pending:
for dest in table[pending.pop()]:
if dest not in seen:
seen.add(dest); pending.append(dest)
groups = [g for g in (seen & accepting, seen - accepting) if g]
while True:
owner = {s: i for i, g in enumerate(groups) for s in g}
refined = []
for group in groups:
buckets = {}
for state in sorted(group):
key = tuple(owner[d] for d in table[state])
buckets.setdefault(key, set()).add(state)
refined.extend(buckets.values())
if len(refined) == len(groups):
return sorted([sorted(g) for g in refined])
groups = refinedGözlenebilir davranışı koruyarak durum tutan kodu sadeleştirin
StateAmaranth, bağlı bir yapay zeka modeliyle durum tutan yazılımı incelemek için bir Windows kodlama çalışma alanıdır. Sistemin kabul ettiği olaylarla ve çağıran kodun gözlemleyebildiği sonuçlarla başlayın. Durumları sadeleştirme isteği bu bağlama ihtiyaç duyar; böylece daha küçük bir gösterim, uygulama davranışı pahasına amaç haline gelmez.
Sağlanan deterministik durum örneği somut bir görev verir: kabul davranışını koruyarak erişilebilir durumlar arasındaki eşdeğerliği incelemek. Geçiş tablonuzu ve amaçlanan başlangıç durumunu tartışmaya getirin. Özellikle çevresindeki uygulama basit bir kabul veya ret sonucundan fazlasını sunuyorsa değişiklik istemeden önce modelden hangi ayrımların önemli olduğunu açıklamasını isteyin.
Önerilen gruplamaları sonuçları bilinen kısa olay dizileriyle inceleyin. Farklı durumlara ulaşan yolları ve erişilemeyen girdileri içeren durumları ekleyin, ardından denetimleri projenizde çalıştırın. Gruplamayı kullanan arayüzü de inceleyin; çünkü kabul davranışı korunsa bile durum numaralandırması veya gösterimi değişince çağıran kodlar bozulabilir.
Kısıtlamasız bir yapay zeka modeli, bunu sunan desteklenen bir OpenAI uyumlu veya Anthropic uç noktası üzerinden seçilebilir. Kimlik bilgilerini gerektiği gibi yapılandırın, bağlam sınırlarını ve araç kullanılabilirliğini doğrulayın. Modelin yanıt davranışı uç noktaya bağlı kalır; güvenli sadeleştirmenin kanıtı belirttiğiniz gözlemlerden ve yaptığınız denetimlerden gelir.
Durum makinesini yeniden düzenleme için sorular
- İsteğimde gözlenebilir davranış olarak ne sayılmalı?
Yalnızca dahili durum adlarını değil, çağıran kodların dayandığı çıktıları veya kararları listeleyin. Geçişler eylem ya da hata üretiyorsa onları ekleyin. Gösterilen kabul temelli örnek, gerçek uygulamanızın koruması gereken davranıştan daha dar olabilir.
- Eşdeğer kabul durumları uygulamamda her zaman birleştirilebilir mi?
Sözleşmenin geri kalanını denetlemeden olmaz. Uygulamanız tanımlayıcıları, eylemleri veya duruma bağlı başka etkileri sunabilir. Yalnızca kabule dayanan bir eşdeğerlik gerekçesini uygulamadan önce asistandan bu tüketicileri incelemesini isteyin.
- İncelemede erişilemeyen durumlar nasıl ele alınmalı?
Başlangıç durumunu ve erişilebilirliğin nasıl belirlendiğini belirtin. Erişilemeyen girdiler içeren bir test verisi ve amaçlanan çıktıyı ekleyin. Önerilen kaldırmayı veya yeniden gruplamayı kabul etmeden önce çağıran kodların bu girdilerin tanınabilir kalmasını bekleyip beklemediğini inceleyin.
- Durum tanımlayıcıları değiştikten sonra neyi test etmeliyim?
Geçişleri, saklanan başvuruları ve tanımlayıcıları gösteren veya kullanan arayüzleri denetleyin. Döndürülen gruplamadaki yapı denetimlerinin yanı sıra davranış dizilerini çalıştırın. Yalnızca kabulün korunması, bağımlı kodun gösterimi hâlâ doğru yorumladığını kanıtlamaz.
StateAmaranth · Güncellendi 2026-10-25