Abstract :Doğal dilden biçimsel dile dönüşüm, dökümanların otomatikleştirilmesi ve dökümanlardan bilgi çıkarımı için kullanılan bir yöntemdir. Günümüzde, otomatikleştirilmemiş dökümanlar nedeniyle, şirketlerde zaman ve para kaybı artış göstermektedir. Bu nedenle, iş alanının konusuna göre sınıflandırılmış dökümanlardan bilgi çıkarımı için yeni yöntemler geliştirilmesine ihtiyaç duyulmuştur. Bu çalışmada, güvenlik politikası dökümanları üzerinde doğal dil işleme, makine öğrenimi ve tümevarım ve tümdengelim yöntemlerinin birleşiminden oluşan bir yöntem geliştirilmiştir. Bu yöntem, ingilizce güvenlik politası dökümanı üzerinde test edilmiş ve cümlelerin Z biçimsel diline dönüşümü sağlanmıştır. Keywords : Güvenlik Politikası, Doğal Dil İşleme, Biçimsel Dil, Otomatikleştirme
