Misalkan G adalah graf dengan himpunan simpul V dan himpunan busur E, dimana |V(G)| dan |E(G)| menyatakan banyaknya simpul dan busur pada G. Suatu pemetaan f : V  {0, 1 , …, |E|} disebut pelabelan graceful jika f merupakan fungsi injektif yang menginduksi fungsi bijektif g, g(uv) = |f(u) – f(v)|, dimana uv merupakan sebuah busur yang mempunyai titik ujung simpul u dan v, g : E  {1, 2 , …, |E|}. Dalam skripsi ini diberikan algoritma untuk menghasilkan semua pelabelan graceful yang tidak isomorfik pada graf lintasan Pn, graf matahari 𝐶𝑛⊙ 𝐾 1 dan graf ular k-C4 yang mungkin. Algoritma-algoritma ini kemudian diimplementasikan dalam program. Diberikan juga simulasi banyak pelabelan graceful mungkin sampai nilai n atau k tertentu.